Formal methods for Embedded Systems Co-design: the FORDESIGN project | Anikó Costa

Formal methods for Embedded Systems Co-design: the FORDESIGN project

Citation:: Gomes, Lu\'ıs, João Paulo Barros, Anikó Costa, Rui Pais, and Filipe Moutinho. "Formal methods for Embedded Systems Co-design: the FORDESIGN project." ReCoSoC. 2005. 143-150.

Abstract:

n/a

Notes:

n/a