OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Boudjadar, Abdeldjalil"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Boudjadar, Abdeldjalil and Vaandrager, Frits and Bodeveix, Jean-Paul and Filali, Mamoun. Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. (2013) In: 5th International Conference on Fundamentals of Software Engineering (FSEN 2013), 24 April 2013 - 26 April 2013 (Tehran, Iran, Islamic Republic Of).

This list was generated on Thu Aug 6 15:47:33 2020 CEST.