Ahmed MEKKI 1 , Mohamed GHAZEL 1 , Armand TOGUYENI 2
July 2009
Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009) (VECOS)
Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
2-3 July 2009
UML Statecharts, Timed Automata, Patterns observers, model-checking, time-constrained system
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/