Publications

Export 5 results:
Sort by: [ Author (Desc)] 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   [Show ALL]
S
Silva, Edgar M., Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, and Luís Gomes. "Communication support for Petri nets based distributed controllers." 23rd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2014, Istanbul, Turkey, June 1-4, 2014. 2014. 1111-1116. Abstract

n/a

O
Oliveira, João, Anikó Costa, and Lu\'ıs Gomes. "Configurador de plataformas espec\'ıficas em Co-design de Sistemas Embutidos." REC'2009 - V Jornadas sobre Sistemas Reconfigur�veis. Monte de Caparica, Portugal: Faculdade de Ci�ncias e Tecnologia da Universidade Nova de Lisboa, 2009. Abstract
n/a
G
Gomes, Luís, and Anikó Costa. "Cloud based development framework using {IOPT} Petri nets for embedded systems teaching." 23rd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2014, Istanbul, Turkey, June 1-4, 2014. 2014. 2202-2206. Abstract

n/a

E
Esteves, João, Luís Gomes, and Anikó Costa. "Collision avoidance system for an autonomous sailboat." {IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017. 2017. 3539-3544. Abstract

n/a

B
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