Daw, Zamira, University of Maryland, United States
-
Volume 66: Automated Verification of Critical Systems 2013 - Articles
Integrating model checking and UML based model-driven development for embedded systems
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.