Items where Institution is :Other partners > Radboud University (NETHERLANDS)
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). |