Anikó Costa

akc's web site

 (email)

  • Publications
  • Bio
  • Classes

Modeling Formalisms for Embedded Systems Design

Citation:
Gomes, Luís, João Paulo, and Anikó Costa. "Modeling Formalisms for Embedded Systems Design." Embedded Systems Handbook. Ed. Richard Zurawski(Editor-in-Chief). CRC, 2005. pp. 5-1, 5-34.
Export
  • RTF
  • Tagged
  • XML
  • BibTex

Abstract:

n/a

Notes:

n/a

Recent Publications

  • From Use Cases to System Implementation: Statechart Based Co-design
  • Towards Usage of Formal Methods within Embedded Systems Co-Design
  • Estadogramas em Co-Design de Sistemas Embutidos
  • {The Input-Output Place-Transition Petri Net Class and Associated Tools}
  • {Petri net Splitting Operation within Embedded Systems Co-design}
  • IEEE Second International Symposium on Industrial Embedded Systems - SIES'2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007
more
Bookmark and Share

© FCT/UNL - 2025Login Powered by OpenScholar