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]
@inproceedings{KhalguiMH08,
title = {A formal approach to check and schedule reconfigurable embedded control systems},
author = {Mohamed Khalgui and Olfa Mosbahi and Hans-Michael Hanisch},
year = {2008},
doi = {10.1109/ETFA.2008.4638422},
url = {http://dx.doi.org/10.1109/ETFA.2008.4638422},
tags = {control systems, systematic-approach},
researchr = {https://researchr.org/publication/KhalguiMH08},
cites = {0},
citedby = {0},
pages = {383-391},
booktitle = {Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany},
publisher = {IEEE},
}