Anikó Costa
akc's web site
(email)
Publications
Bio
Classes
Publications
Export 1 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
2018
Wisniewski, Remigiusz, Andrei Karatkevich, Marian Adamski, Anikó Costa, and Luís Gomes.
"
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs
."
{IEEE} Trans. Contr. Sys. Techn.
. 26 (2018): 575-586.
Abstract
Website
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