Publications de
Abdeldjalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix, Mamoun Filali
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems (regular paper)
Dans : Fundamentals of Software Engineering (FSEN 2013), Tehran, Iran, 24/04/13-26/04/13, Vol. 8161, Springer, Lecture Notes in Computer Science, p. 111-132, avril 2013.