Forschungsportal Sachsen-Anhalt
« Publikationen
Publikation

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