41
TÍTULO: IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics
AUTORES: Fernando Pereira; Filipe Moutinho; Luis Gomes ; Rogerio Campos Rebelo;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef
42
TÍTULO: An Ecore based Petri net Type Definition for PNML IOPT Models
AUTORES: Jose Ribeiro; Filipe Moutinho; Fernando Pereira; Joao Paulo Barros ; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef
43
TÍTULO: Automatic Generation of Graphical User Interfaces for VHDL based Controllers
AUTORES: Filipe Moutinho; Fernando Pereira; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 20th IEEE International Symposium on Industrial Electronics (ISIE) in 2011 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXADO EM: Scopus WOS CrossRef
44
TÍTULO: SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design
AUTORES: Barbosa, P; Barros, JP ; Ramalho, F; Gomes, L ; Figueiredo, J; Moutinho, F; Costa, A ; Aranha, A;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011 in IFIP Advances in Information and Communication Technology, VOLUME: 349 AICT
INDEXADO EM: Scopus CrossRef
45
TÍTULO: From IOPT Petri nets to C: An automatic code generator tool
AUTORES: Rogerio Campos-Rebelo; Fernando Pereira; Filipe Moutinho; Luis Gomes;
PUBLICAÇÃO: 2011, FONTE: 2011 9th IEEE International Conference on Industrial Informatics
INDEXADO EM: CrossRef
46
TÍTULO: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design
AUTORES: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXADO EM: WOS
47
TÍTULO: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets  Full Text
AUTORES: Filipe Moutinho; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Joao Paulo Barros ; Paulo Barbosa; Rui Pais; Aniko Costa ;
PUBLICAÇÃO: 2010, FONTE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXADO EM: Scopus WOS CrossRef
48
TÍTULO: From Models to Controllers Integrating Graphical Animation in FPGA through Automatic Code Generation
AUTORES: Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2009, FONTE: IEEE International Symposium on Industrial Electronics (ISIE 2009) in ISIE: 2009 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS
INDEXADO EM: Scopus WOS CrossRef
Página 5 de 5. Total de resultados: 48.