Anikó Costa

akc's web site

 (email)

  • Publications
  • Bio
  • Classes

Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams

Citation:
Gomes, Lu\'ıs, and Anikó Costa. "Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams." ETFA. 2006. 1230-1237.
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