OATAO - Open Archive Toulouse Archive Ouverte Open Access Week
Login | Create Account

Items where Institution is :Other partners > Radboud University (NETHERLANDS)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 1.

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 Fri May 20 23:25:08 2022 CEST.
oatao is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.