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