Forschungsportal Sachsen-Anhalt
« Publikationen
Publikation

A formal approach to check and schedule reconfigurable embedded control systems

Khalgui, Mohamed ; Mosbahi, Olfa ; Hanisch, Hans-Michael
13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008. - IEEE, S. 383-391
Bibliographie: Konferenz/Aufsatz
Weitere Publikationen der Autoren