Anikó Costa
akc's web site
(email)
Publications
Bio
Classes
Publications
Export 4 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
2007
Gomes, Luís, João Paulo, Anikó Costa, and Ricardo Nunes.
"
{The Input-Output Place-Transition Petri Net Class and Associated Tools}
."
5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).
2007.
Abstract
n/a
Gomes, Luís, João Paulo, Anikó Costa, and Ricardo Nunes.
"
{The Input-Output Place-Transition Petri Net Class and Associated Tools}
."
5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).
2007.
Abstract
n/a
Gomes, Luís, João Paulo, Anikó Costa, and Ricardo Nunes.
"
{The Input-Output Place-Transition Petri Net Class and Associated Tools}
."
5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).
2007.
Abstract
n/a
Gomes, Luís, João Paulo, Anikó Costa, and Ricardo Nunes.
"
{The Input-Output Place-Transition Petri Net Class and Associated Tools}
."
5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).
2007.
Abstract
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