Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho. Formal methods for Embedded Systems Co-design: the FORDESIGN project. In Gilles Sassatelli, Manfred Glesner, Lionel Torres, Leandro Soares Indrusiak, Thomas Hollstein, editors, Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2005, Montpellier, France, June 2005. pages 143-150, Univ. Montpellier II, 2005.
Abstract is missing.