151
TITLE: International workshop on Cyber-Physical Systems
AUTHORS: Grega, W; Kornecki, AJ; Szmuc, T; Zalewski, J; Broy, M; Caplinskas, A; Crespo, A; Golatowski, F; Gomes, L; Halang, WA; Hilburn, TB; Kacprzyk, J; Laplante, PA; Malec, J; Motus, L; Nadjm Tehrani, S; Nigro, L; Rozenblit, JW; Rysavy, O; Sanden, B; Schagaev, I; Sveda, M; Trybus, L; Vardanega, T; Zoebel, D; ...More
PUBLISHED: 2013, SOURCE: 2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013 in 2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013
INDEXED IN: Scopus
IN MY: ORCID
152
TITLE: Industrial Electronic Control: FPGAs and Embedded Systems Solutions
AUTHORS: Luis Gomes; Eric Monmasson; Marcian Cirstea; Juan J Rodriguez Andina;
PUBLISHED: 2013, SOURCE: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) in 39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
153
TITLE: Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models
AUTHORS: Fernando Pereira; Luis Gomes;
PUBLISHED: 2013, SOURCE: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) in 39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
154
TITLE: Merging and splitting petri net models within distributed embedded controller design
AUTHORS: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
INDEXED IN: Scopus CrossRef
IN MY: ORCID
155
TITLE: Distributed embedded systems design using Petri nets
AUTHORS: Moutinho, F; Gomes, L;
PUBLISHED: 2013, SOURCE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
INDEXED IN: Scopus CrossRef
IN MY: ORCID
156
TITLE: IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets
AUTHORS: Gomes, L; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
INDEXED IN: Scopus CrossRef
IN MY: ORCID
157
TITLE: MDA-based methodology for verifying distributed execution of embedded systems models
AUTHORS: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLISHED: 2013, SOURCE: Formal Methods in Manufacturing Systems: Recent Advances
INDEXED IN: Scopus CrossRef
IN MY: ORCID
158
TITLE: Events for human-system interaction modeling with IOPT Petri nets
AUTHORS: Rogerio Campos-Rebelo; Aniko Costa; Lui Gomes;
PUBLISHED: 2013, SOURCE: 2013 6th International Conference on Human System Interactions (HSI)
INDEXED IN: CrossRef
IN MY: ORCID
159
TITLE: Guest Editorial <newline/>Special Section on Information Technologies Within Engineering Education
AUTHORS: Juan J Rodriguez-Andina; Luís Gomes;
PUBLISHED: 2013, SOURCE: IEEE Transactions on Industrial Informatics - IEEE Trans. Ind. Inf., VOLUME: 9, ISSUE: 1
INDEXED IN: CrossRef
IN MY: ORCID
160
TITLE: Guest Editorial Special Section on Embedded and Reconfigurable Systems
AUTHORS: Luis Gomes; Juan J Rodriguez-Andina;
PUBLISHED: 2013, SOURCE: IEEE Transactions on Industrial Informatics - IEEE Trans. Ind. Inf., VOLUME: 9, ISSUE: 3
INDEXED IN: CrossRef
IN MY: ORCID
Página 16 de 23. Total de resultados: 224.