A formal approach to check and schedule reconfigurable embedded control systems

Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch. A formal approach to check and schedule reconfigurable embedded control systems. In Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany. pages 383-391, IEEE, 2008. [doi]

Authors

Mohamed Khalgui

This author has not been identified. Look up 'Mohamed Khalgui' in Google

Olfa Mosbahi

This author has not been identified. Look up 'Olfa Mosbahi' in Google

Hans-Michael Hanisch

This author has not been identified. Look up 'Hans-Michael Hanisch' in Google