Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron. Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 1816-1821, IEEE, 2012. [doi]
Abstract is missing.