Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont. Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. In Guillaume Brat, Neha Rungta, Arnaud Venet, editors, NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Volume 7871 of Lecture Notes in Computer Science, pages 93-107, Springer, 2013. [doi]

This author has not been identified. Look up 'Frédéric Boniol' in GoogleThis author has not been identified. Look up 'Michaël Lauer' in GoogleThis author has not been identified. Look up 'Claire Pagetti' in GoogleThis author has not been identified. Look up 'Jérôme Ermont' in Google

runs on WebDSL