Anikó Costa
akc's web site
(email)
Publications
Bio
Classes
Module Composition within Petri Nets Model-based Development
Citation:
Costa, Anikó, and Lu\'ıs Gomes. "Module Composition within Petri Nets Model-based Development." SIES. 2007. 316-319.
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