Towards Usage of Formal Methods within Embedded Systems Co-Design | Anikó Costa

Towards Usage of Formal Methods within Embedded Systems Co-Design

Citation:: Gomes, Luís, João Paulo, Anikó Costa, Rui Pais, and Filipe Moutinho. "Towards Usage of Formal Methods within Embedded Systems Co-Design." Proceedings of the 2005 IEEE Conference on Emerging Technologies and Factory Automation. 2005.

Abstract:

n/a

Notes:

n/a