« Publikationen
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