81
TÍTULO: Petri net based building automation and monitoring system
AUTORES: Luis Gomes ; Aniko Costa ; Joao Paulo Barros ; Rui Pais; Tiago Rodrigues; Richard Ferreira;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
82
TÍTULO: Petri net splitting operation within embedded systems co-design
AUTORES: Aniko Costa ; Luis Gomes ;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
83
TÍTULO: The input-output place-transition Petri net class and associated tools
AUTORES: Luis Gomes ; Joao Paulo Barros ; Aniko Costa ; Ricardo Nunes;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
84
TÍTULO: Untitled  Full Text
AUTORES: Luis Gomes ; Seta Bogosyan;
PUBLICAÇÃO: 2007, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 54, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ORCID
85
TÍTULO: Emphasizing graphical modeling formalisms within digital systems design course
AUTORES: Luis Gomes ; Aniko Costa ;
PUBLICAÇÃO: 2006, FONTE: 1st IEEE International Conference on E-Learning in Industrial Electronics in 2006 1st IEEE International Conference on E-Learning in Industrial Electronics
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
86
TÍTULO: Internal event removal in hierarchical and concurrent state diagrams
AUTORES: Costa, A ; Gomes, L ; Francisco, H; Silva, B;
PUBLICAÇÃO: 2006, FONTE: 3rd IFAC Workshop on Discrete-Event System Design, DESDes'06 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 3, NÚMERO: PART 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
87
TÍTULO: On exercising hardware-software logical equivalency using FPGAs
AUTORES: Luis Gomes ; Aniko Costa ;
PUBLICAÇÃO: 2006, FONTE: IEEE International Symposium on Industrial Electronics in 2006 IEEE International Symposium on Industrial Electronics, Vols 1-7, VOLUME: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
88
TÍTULO: Partitioning of petri net models amenable for distributed execution
AUTORES: Aniko Costa ; Luis Gomes ;
PUBLICAÇÃO: 2006, FONTE: 11th IEEE International Conference on Emerging Technologies and Factory Automation in 2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
89
TÍTULO: Petri nets as supporting formalism within embedded systems co-design
AUTORES: Gomes, L ; Costa, A ;
PUBLICAÇÃO: 2006, FONTE: Industrial Embedded Systems - IES'2006 in Industrial Embedded Systems - IES'2006
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
90
TÍTULO: Removing ill-structured arcs in hierarchical and concurrent state diagrams
AUTORES: Luis Gomes ; Aniko Costa ;
PUBLICAÇÃO: 2006, FONTE: 11th IEEE International Conference on Emerging Technologies and Factory Automation in 2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 9 de 11. Total de resultados: 103.