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
Enter your keywords:
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