Ludovic Apvrille - Assistant Professeur, ENST à Institut Eurecom - Sophia-Antipolis Communication systems
Date: - Location: 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