[SEAMS'16] Assured and Correct Dynamic Update of Controllers.

Leandro NahabedianVíctor BrabermanNicolás D'IppolitoShinichi Honiden, Jeff kramer, Kenji Tei, and Sebastian Uchitel. "Assured and Correct Dynamic Update of Controllers". In 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 16-17,2016, Austin, Texas. ACM, 2016.

Undefined