Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Romain Jobredeaux' in GoogleThis author has not been identified. Look up 'Heber Herencia-Zapana' in GoogleThis author has not been identified. Look up 'Natasha A. Neogi' in GoogleThis author has not been identified. Look up 'Eric Feron' in Google

runs on WebDSL