Robustness and Implementability of Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin. Robustness and Implementability of Timed Automata. In Yassine Lakhnech, Sergio Yovine, editors, Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Gren. Volume 3253 of Lecture Notes in Computer Science, pages 118-133, Springer, 2004. [doi]

This author has not been identified. Look up 'Martin De Wulf' in GoogleThis author has not been identified. Look up 'Laurent Doyen' in GoogleThis author has not been identified. Look up 'Nicolas Markey' in GoogleThis author has not been identified. Look up 'Jean-François Raskin' in Google

runs on WebDSL