Anikó Costa
akc's web site
(email)
Publications
Bio
Classes
Publications
Export 61 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
[
Title
]
Type
Year
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
T
Gomes, Luís, João Paulo, Anikó Costa, Rui Pais, and Filipe Moutinho.
"
Towards Usage of Formal Methods within Embedded Systems Co-Design
."
Proceedings of the 2005 IEEE Conference on Emerging Technologies and Factory Automation
. 2005.
Abstract
n/a
W
Fernandes, David, Luís Gomes, and Anikó Costa.
"
Wind speed and direction measurement based on time of flight ultrasonic anemometer
."
26th {IEEE} International Symposium on Industrial Electronics, {ISIE} 2017, Edinburgh, United Kingdom, June 19-21, 2017
. 2017. 1417-1422.
Abstract
n/a
{
Barbosa, Paulo E. S., Anikó Costa, Lu\'ıs Gomes, Franklin Ramalho, Jorge Figueiredo, and Antônio Junior.
"
{A MDA-based Contribution for Integrating Web Services within Embedded System's Design}
."
8{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2010).
2010.
Abstract
n/a
Costa, Anikó, and Luís Gomes.
"
{Petri net partitioning using net splitting operation}
."
7{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2009).
2009.
Abstract
n/a
Costa, Anikó, and Luís Gomes.
"
{Petri net Splitting Operation within Embedded Systems Co-design}
."
5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).
2007.
Abstract
n/a
Costa, Anikó, and Luís Gomes.
"
{Petri net Splitting Operation within Embedded Systems Co-design}
."
5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007).
2007.
Abstract
n/a
Gomes, Luís, João Paulo Barros, and Anikó Costa.
"
{Petri Nets Tools and Embedded Systems Design}
."
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07)
. 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
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
« 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