41
TÍTULO: Controller Design and Implementation: an Approach Based on Problem Frames and Petri Net Models
AUTORES: Isabel Sofia Brito; Joao Paulo Barros; Luis Gomes;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: WOS
NO MEU: ORCID
42
TÍTULO: From SysML State Machines to Petri Nets Using ATL Transformations
AUTORES: Rui Pais; Joao Paulo Barros; Luis Gomes;
PUBLICAÇÃO: 2014, FONTE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
INDEXADO EM: WOS
NO MEU: ORCID
43
TÍTULO: Towards the Use of Place/Transition Net Tools for Analysis of IOPT Models
AUTORES: Joao Paulo Barros; Luis Gomes;
PUBLICAÇÃO: 2014, FONTE: IEEE 23rd International Symposium on Industrial Electronics (ISIE) in 2014 IEEE 23RD INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
44
TÍTULO: Requirements Specification for Controller Design - from Use Cases to IOPT Net Models
AUTORES: Joao Paulo Barros; Isabel Sofia Brito; Luis Gomes;
PUBLICAÇÃO: 2014, FONTE: 12th IEEE International Conference on Industrial Informatics (INDIN) in 2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
45
TÍTULO: From SysML State Machines to Petri Nets Using ATL Transformations
AUTORES: Pais, R; Barros, JP; Gomes, L;
PUBLICAÇÃO: 2014, FONTE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014 in IFIP Advances in Information and Communication Technology, VOLUME: 423
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
46
TÍTULO: Extending input-output place-transition Petri nets for distributed controller systems development
AUTORES: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP;
PUBLICAÇÃO: 2014, FONTE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
47
TÍTULO: Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development
AUTORES: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLICAÇÃO: 2014, FONTE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
INDEXADO EM: WOS
NO MEU: ORCID
48
TÍTULO: On the Description of Individual Course Units for Programme Assessment and Better Syllabuses
AUTORES: Joao Paulo Barros;
PUBLICAÇÃO: 2014, FONTE: International Journal of Engineering Pedagogy (iJEP), VOLUME: 4, NÚMERO: 5
INDEXADO EM: CrossRef
NO MEU: ORCID
49
TÍTULO: Coloured Petri net model of the bCMS system using CPN tools
AUTORES: Brito, IS; Barros, JP;
PUBLICAÇÃO: 2013, FONTE: 2013 3rd International Workshop on Comparing Requirements Modeling Approaches, CMA@RE 2013 in 2013 3rd International Workshop on Comparing Requirements Modeling Approaches, CMA@RE 2013 - Proceedings
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
50
TÍTULO: Curricular Unit Specification for Programme Assessment Fostering teacher reflection, while improving course catalogues
AUTORES: Joao Paulo Barros;
PUBLICAÇÃO: 2013, FONTE: 1st International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2013 1ST INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 5 de 7. Total de resultados: 68.