External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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.

Authors

Luís Gomes

This author has not been identified. Look up 'Luís Gomes' in Google

João Paulo Barros

This author has not been identified. Look up 'João Paulo Barros' in Google

Anikó Costa

This author has not been identified. Look up 'Anikó Costa' in Google

Rui Pais

This author has not been identified. Look up 'Rui Pais' in Google

Filipe Moutinho

This author has not been identified. Look up 'Filipe Moutinho' in Google
runs on