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]
Abstract is missing.