Anikó Costa
akc's web site
(email)
Publications
Bio
Classes
Publications
Export 59 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Title
[
Type
]
Year
Conference Paper
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
Conference Proceedings
Emerging Trends in Technological Innovation, First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010. Proceedings
. Eds. Luis M. Camarinha-Matos, Pedro Pereira, and Luis Ribeiro. Vol. 314. DoCEIS, 314. Springer, 2010.
Abstract
n/a
Journal Article
Barbosa, Paulo E. S., Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. S. dos Junior, Anikó Costa, and Lu\'ıs Gomes.
"
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems
."
J. UCS
. 15 (2009): 2196-2224.
Abstract
n/a
Wisniewski, Remigiusz, Grzegorz Bazydlo, Luís Gomes, and Anikó Costa.
"
Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in {FPGA} Devices
."
{IEEE} Trans. Industrial Informatics
. 13 (2017): 1734-1741.
Abstract
Website
n/a
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
Thesis
Costa, Anikó
Estadogramas em Co-Design de Sistemas Embutidos
. Faculdade Ciêcias e Tecnologia da Universidade Nova de Lisboa, 2003.
Abstract
n/a
« first
‹ previous
1
2
3
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