OA.uninova.pt

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

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2005) Formal methods for Embedded Systems Co-design: the FORDESIGN project. [Paper]. In: ReCoSoC’05 - Reconfigurable Communication-centric Systems-on-Chip, 27-29 Jun 2005, Montpellier, França.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Divisions:Centre of Technology and Systems 2003-2006 > CTS0306-A Microelectronics > CTS0306-A1 Microelectronics, Design and Fractional Signal Processing > CTS0306-A1.2 Embedded Systems
Departamento de Engenharia Electrotécnica > Sistemas Digitais e Percepcionais
ID Code:419
Deposited By:Administrator
Deposited On:01 Feb 2007 18:55
Last Modified:25 Mar 2011 13:53

Repository Staff Only: item control page