L. Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, J. Kramer, Kenji Tei, Sebastián Uchitel. Assured and correct dynamic update of controllers. In Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas, USA, May 14-22, 2016. pages 96-107, ACM, 2016. [doi]
Abstract is missing.