Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho. Towards usage of formal methods within embedded systems co-design. In Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2006, Catania, Italy. IEEE, 2005. [doi]
@inproceedings{GomesBCPM05:0,
title = {Towards usage of formal methods within embedded systems co-design},
author = {Luís Gomes and João Paulo Barros and Anikó Costa and Rui Pais and Filipe Moutinho},
year = {2005},
doi = {10.1109/ETFA.2005.1612535},
url = {http://doi.ieeecomputersociety.org/10.1109/ETFA.2005.1612535},
tags = {design},
researchr = {https://researchr.org/publication/GomesBCPM05%3A0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2006, Catania, Italy},
publisher = {IEEE},
}