131
TÍTULO: Reconfigurable priority ceiling protocol: Under rate monotonic based real-time scheduling
AUTORES: Gasmi, M; Mosbahi, O; Khalgui, M; Gomes, L;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2014 in ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, VOLUME: 1
INDEXADO EM: Scopus
NO MEU: ORCID
132
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
133
TÍTULO: Multifunctional Controller Architecture for Solid-State Marx Modulator Based on FPGA  Full Text
AUTORES: Pereira, F; Gomes, L; Redondo, LM;
PUBLICAÇÃO: 2014, FONTE: IEEE Transactions on Plasma Science, VOLUME: 42, NÚMERO: 10
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
134
TÍTULO: Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows
AUTORES: Rocha, JI; Dias, OP; 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
135
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
136
TÍTULO: Elementary Events for Modeling of Human-System Interactions with Petri Net Models
AUTORES: Campos Rebelo, R; Costa, A; 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
NO MEU: ORCID
137
TÍTULO: Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets
AUTORES: Campos-Rebelo, R; Costa, A; Gomes, L;
PUBLICAÇÃO: 2014, FONTE: Advances in Intelligent Systems and Computing - Human-Computer Systems Interaction: Backgrounds and Applications 3
INDEXADO EM: CrossRef
NO MEU: ORCID
138
TÍTULO: Elementary Events for Modeling of Human-System Interactions with Petri Net Models
AUTORES: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLICAÇÃO: 2014, FONTE: Technological Innovation for Collective Awareness Systems - IFIP Advances in Information and Communication Technology
INDEXADO EM: CrossRef
NO MEU: ORCID
139
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
140
TÍTULO: IOPT-tools-Towards cloud design automation of digital controllers with Petri nets
AUTORES: Pereira, F; Moutinho, F; Gomes, L;
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
Página 14 de 23. Total de resultados: 228.