João Paulo Mestre Pinheiro Ramos e Barros
AuthID: R-000-7BV
61
TÃTULO: Modeling formalisms for embedded system design
AUTORES: Luís Gomes; João Paulo Barros; Anikó Costa;
PUBLICAÇÃO: 2005, FONTE: Embedded Systems: Handbook
AUTORES: Luís Gomes; João Paulo Barros; Anikó Costa;
PUBLICAÇÃO: 2005, FONTE: Embedded Systems: Handbook
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID62
TÃTULO: On structuring mechanisms for Petri nets based system design
AUTORES: Gomes, L; Barros, JP;
PUBLICAÇÃO: 2003, FONTE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2, NÚMERO: January
AUTORES: Gomes, L; Barros, JP;
PUBLICAÇÃO: 2003, FONTE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2, NÚMERO: January
63
TÃTULO: Modifying Petri net models by means of crosscutting operations
AUTORES: Barros, JP; Gomes, L;
PUBLICAÇÃO: 2003, FONTE: 3rd International Conference on Application of Concurrency to System Design in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, VOLUME: 2003-January
AUTORES: Barros, JP; Gomes, L;
PUBLICAÇÃO: 2003, FONTE: 3rd International Conference on Application of Concurrency to System Design in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, VOLUME: 2003-January
64
TÃTULO: Man-machine interface for real-time telecontrol based on Petri nets specification
AUTORES: Gomes, L; Barros, JP; Costa, A;
PUBLICAÇÃO: 2002, FONTE: IEEE International Conference on Systems, Man and Cybernetics (SMC) in 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE
AUTORES: Gomes, L; Barros, JP; Costa, A;
PUBLICAÇÃO: 2002, FONTE: IEEE International Conference on Systems, Man and Cybernetics (SMC) in 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE
INDEXADO EM: 
WOS
WOS65
TÃTULO: Using hierarchical structuring mechanisms with Petri nets for PLD based system design
AUTORES: Gomes, L; Barros, JP;
PUBLICAÇÃO: 2001, FONTE: International Workshop on Discrete-Event System Design (DESDes 01) in DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN
AUTORES: Gomes, L; Barros, JP;
PUBLICAÇÃO: 2001, FONTE: International Workshop on Discrete-Event System Design (DESDes 01) in DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN
INDEXADO EM: WOS
WOS66
TÃTULO: Implementation of a non-autonomous high-level Petri net model for reactive real-time systems
AUTORES: Barros, JP; Gomes, L; Steiger Garcao, A;
PUBLICAÇÃO: 1997, FONTE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997
AUTORES: Barros, JP; Gomes, L; Steiger Garcao, A;
PUBLICAÇÃO: 1997, FONTE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997
INDEXADO EM: WOS
WOS