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]

Abstract

Abstract is missing.