| |
| 2005 | ||
|---|---|---|
| 2 | EE | Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho: Towards usage of formal methods within embedded systems co-design. ETFA 2005 |
| 1 | Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho: Formal methods for Embedded Systems Co-design: the FORDESIGN project. ReCoSoC 2005: 143-150 | |
| 1 | João Paulo Barros | [1] [2] |
| 2 | Anikó Costa | [1] [2] |
| 3 | Luís Gomes | [1] [2] |
| 4 | Rui Pais | [1] [2] |