Department of Informatics

TU München - Fakultät für Informatik
Software & Systems Engineering Research Group

TUM
 
 

Workshops

Software Engineering for Automotive Systems
 

 

Model-based Testing of Reactive Systems
 

 

4th International Workshop on Parallel and Distributed Methods in verifiCation
 

© 1999-2009 - Software & Systems Engineering Research Group
Sitemap |  Contact
Last change: 2008-04-17 11:48:44