21
TITLE: Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker
AUTHORS: Barros, Joao Paulo; Gomes, Luis;
PUBLISHED: 2022, SOURCE: IEEE 31st International Symposium on Industrial Electronics (ISIE) in 2022 IEEE 31ST INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), VOLUME: 2022-June
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
22
TITLE: Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets
AUTHORS: Pasandideh, S; Pereira, P; Gomes, L;
PUBLISHED: 2022, SOURCE: 48th Annual Conference of the IEEE Industrial Electronics Society, IECON 2022 in IECON Proceedings (Industrial Electronics Conference), VOLUME: 2022-October
INDEXED IN: Scopus CrossRef
IN MY: ORCID
23
TITLE: Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model
AUTHORS: Lagartinho Oliveira, Carolina; Moutinho, Filipe; Gomes, Luis;
PUBLISHED: 2022, SOURCE: COMPUTERS, VOLUME: 11, ISSUE: 11
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
24
TITLE: Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems - A case study
AUTHORS: Bazydlo, G; Costa, A; Gomes, L;
PUBLISHED: 2022, SOURCE: 9th IEEE International Conference on e-Learning in Industrial Electronics, ICELIE 2022 in Proceedings - 2022 9th IEEE International Conference on e-Learning in Industrial Electronics, ICELIE 2022
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
26
TITLE: ROS-Based Digital Twin for Power Wheelchair
AUTHORS: Alves, A; Lagartinho Oliveira, C; Moutinho, F; Gomes, L;
PUBLISHED: 2022, SOURCE: 1st IEEE Industrial Electronics Society Annual On-Line Conference, ONCON 2022 in 1st IEEE Industrial Electronics Society Annual On-Line Conference, ONCON 2022
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
27
TITLE: Industrial Electronics Education: Past, Present, and Future Perspectives
AUTHORS: Lucia, O; Martins, J; Ibrahim, Y; Umetani, K; Gomes, L; Hiraki, E; Zeroug, H; Manic, M;
PUBLISHED: 2021, SOURCE: IEEE INDUSTRIAL ELECTRONICS MAGAZINE, VOLUME: 15, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 7
IN MY: ORCID
28
TITLE: The level of preparedness and response of nonprofit organizations in a pandemic crisis: An exploratory qualitative research
AUTHORS: Santos, L; Lopes, L;
PUBLISHED: 2021, SOURCE: IBIMA Business Review, VOLUME: 2021
INDEXED IN: Scopus
29
TITLE: Adaptive Robust Control for Networked Strict-Feedback Nonlinear Systems with State and Input Quantization
AUTHORS: Liu, YB; Wang, J; Gomes, L; Sun, WC;
PUBLISHED: 2021, SOURCE: ELECTRONICS, VOLUME: 10, ISSUE: 22
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
30
TITLE: Describing Structure and Complex Interactions in Multi-Agent-Based Industrial Cyber-Physical Systems
AUTHORS: Ribeiro, L; Gomes, L;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
Page 3 of 23. Total results: 224.