Graduate School and Research Center In communication systems
Seminar: TURTLE: A UML-based Environment for the Modeling and Validation of Protocols and Real-Time Systems.
Ludovic Apvrille - Ludovic.apvrille@enst.fr - Assistant Professeur, ENST à Institut Eurecom - Sophia-Antipolis
Mobile Communications
Date: April 8, 2004
Location: Eurecom - Institut Eurecom
UML solutions in competition on the protocol and real-time system market share three common drawbacks: an incomplete formal semantics, temporal operators with limited expression and analysis power, and implementation-oriented tools with limited verificati
Permalink: http://www.eurecom.fr/seminar/21
TURTLE: A UML-based Environment for the Modeling and Validation of Protocols and Real-Time Systems.
