Assured and correct dynamic update of controllers.

Leandro Nahabedian, Vctor A. Braberman, Nicols D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastin Uchitel

Browse the full ICSE paper archive.