« 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
Model-checking for the functional safety of control component-based heterogeneous embedded systems
Khalgui, Mohamed ; Hanisch, Hans-Michael
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009. - IEEE, S. 1
Bibliographie: Konferenz/Aufsatz
Weitere Publikationen der Autoren