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