« Publikationen
Sie verwenden einen sehr veralteten Browser und können Funktionen dieser Seite nur sehr eingeschränkt nutzen. Bitte aktualisieren Sie Ihren Browser. http://www.browser-update.org/de/update.html
Teaching and training formal methods for safety critical systems
Ortmeier, Frank ; Lipaczewski, Michael
SEAA 2013. - Piscataway, NJ : IEEE, S. 408-413
Bibliographie: Buchbeitrag Link
Weitere Publikationen der Autoren