A New UML Profile for Real-Time System Formal Design and Validation

Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat. A New UML Profile for Real-Time System Formal Design and Validation. In Martin Gogolla, Cris Kobryn, editors, «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings. Volume 2185 of Lecture Notes in Computer Science, pages 287-301, Springer, 2001. [doi]

Authors

Ludovic Apvrille

This author has not been identified. Look up 'Ludovic Apvrille' in Google

Pierre de Saqui-Sannes

This author has not been identified. Look up 'Pierre de Saqui-Sannes' in Google

Christophe Lohr

This author has not been identified. Look up 'Christophe Lohr' in Google

Patrick Sénac

This author has not been identified. Look up 'Patrick Sénac' in Google

Jean-Pierre Courtiat

This author has not been identified. Look up 'Jean-Pierre Courtiat' in Google