João Paulo Mestre Pinheiro Ramos e Barros
AuthID: R-000-7BV
61
TITLE: Modeling formalisms for embedded system design
AUTHORS: Luís Gomes; João Paulo Barros; Anikó Costa;
PUBLISHED: 2005, SOURCE: Embedded Systems: Handbook
AUTHORS: Luís Gomes; João Paulo Barros; Anikó Costa;
PUBLISHED: 2005, SOURCE: Embedded Systems: Handbook
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID62
TITLE: On structuring mechanisms for Petri nets based system design
AUTHORS: Gomes, L; Barros, JP;
PUBLISHED: 2003, SOURCE: 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, ISSUE: January
AUTHORS: Gomes, L; Barros, JP;
PUBLISHED: 2003, SOURCE: 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, ISSUE: January
63
TITLE: Modifying Petri net models by means of crosscutting operations
AUTHORS: Barros, JP; Gomes, L;
PUBLISHED: 2003, SOURCE: 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
AUTHORS: Barros, JP; Gomes, L;
PUBLISHED: 2003, SOURCE: 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
TITLE: Man-machine interface for real-time telecontrol based on Petri nets specification
AUTHORS: Gomes, L; Barros, JP; Costa, A;
PUBLISHED: 2002, SOURCE: 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
AUTHORS: Gomes, L; Barros, JP; Costa, A;
PUBLISHED: 2002, SOURCE: 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
INDEXED IN: 
WOS
WOS65
TITLE: Using hierarchical structuring mechanisms with Petri nets for PLD based system design
AUTHORS: Gomes, L; Barros, JP;
PUBLISHED: 2001, SOURCE: International Workshop on Discrete-Event System Design (DESDes 01) in DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN
AUTHORS: Gomes, L; Barros, JP;
PUBLISHED: 2001, SOURCE: International Workshop on Discrete-Event System Design (DESDes 01) in DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN
INDEXED IN: WOS
WOS66
TITLE: Implementation of a non-autonomous high-level Petri net model for reactive real-time systems
AUTHORS: Barros, JP; Gomes, L; Steiger Garcao, A;
PUBLISHED: 1997, SOURCE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997
AUTHORS: Barros, JP; Gomes, L; Steiger Garcao, A;
PUBLISHED: 1997, SOURCE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997
INDEXED IN: WOS
WOS