Showing results 35 to 53 of 53
< previous
This table browses all dspace content
Issue Date | Title | Author(s) | Type | Access Type |
Oct-2018 | Refining IOPT Petri Nets Class for Embedded System Controller Modeling20.500.12207/5043 | Gomes, Luís; Barros, João Paulo | article | openAccess |
2009 | Representações da qualidade do ensino de alunos de enfermagem: um estudo exploratório20.500.12207/511 | Bonito, Jorge; Saraiva, Margarida; Fialho, Isabel; Barros, João Paulo; Espírito Santo, José; Martins, Maria José; Oliveira, Teresa | article | openAccess |
2014 | Requirements Specification for Controller Design-from Use Cases to IOPT Net Models20.500.12207/4374 | Barros, João Paulo; Brito, Isabel Sofia; Gomes, Luis | conferenceObject | info:eu-repo/semantics/closedAccess |
Sep-2010 | Scenario-based modeling in industrial information systems20.500.12207/641 | Machado, Ricardo; Fernandes, Joao; Barros, João Paulo | conferenceObject | info:eu-repo/semantics/closedAccess |
2019 | Self-Configurable Wireless Automatic Irrigation System20.500.12207/5055 | Penha, César; Campos Rebelo, Rogério; Barros, João Paulo | article | embargoedAccess |
Jul-2013 | SmartRestaurant: A report on the development of a NFC-based mobile application20.500.12207/656 | Rosa, Vanda; Brito, Isabel Sofia; Barros, João Paulo | conferenceObject | info:eu-repo/semantics/closedAccess |
May-2005 | Structuring and composability issues in Petri nets modeling20.500.12207/703 | Gomes, Luís; Barros, João Paulo | article | info:eu-repo/semantics/closedAccess |
25-Apr-2017 | Student perspectives on the use of a Java library for novices20.500.12207/4786 | Barros, João Paulo; Brito, Isabel Sofia | article | closedAccess |
15-Mar-2018 | Students' perceptions of paper-based vs. computer-based testing in an introductory programming course20.500.12207/4785 | Barros, João Paulo | conferenceObject | openAccess |
15-Mar-2018 | Students' perceptions of paper-based vs. computer-based testing in an introductory programming course20.500.12207/5079 | Barros, João Paulo | conferenceObject | openAccess |
2011 | SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design20.500.12207/491 | Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Gomes, Luís; Figueiredo, Jorge; Moutinho, Filipe; Costa, Anikó; Aranha, André | bookPart | closedAccess |
Sep-2012 | Towards a complete description for individual course units: a follow-up to the Bologna proposals20.500.12207/657 | Barros, João Paulo; Gomes, Luís; Garcia, Luís | conferenceObject | info:eu-repo/semantics/closedAccess |
21-Apr-2016 | Towards a mobile application for an engineering geology course: A contribution to improved student learning20.500.12207/4789 | Barros, João Paulo; Caixinha, Pedro; Soares, Sofia | conferenceObject | openAccess |
2022 | Towards an integrated tool support for the analysis of IOPT Nets using the Spin Model Checker20.500.12207/5698 | Barros, João Paulo; Gomes, Luís | article | restrictedAccess |
12-Sep-2017 | Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards20.500.12207/4787 | Ataíde, Artur; Barros, João Paulo; Brito, Isabel Sofia; Gomes, Luís | conferenceObject | closedAccess |
2011 | Towards Statecharts to Input-Output Place Transition Nets Transformations20.500.12207/494 | Pais, Rui; Gomes, Luís; Barros, João Paulo | bookPart | closedAccess |
2014 | Towards the use of Place/Transition net tools for analysis of IOPT models20.500.12207/4471 | Barros, João Paulo; Gomes, Luís | conferenceObject | info:eu-repo/semantics/openAccess |
Jun-2011 | Towards the use of sequence diagrams as a learning aid20.500.12207/244 | Barros, João Paulo; Biscaia, Luís; Vitória, Miguel | conferenceObject | openAccess |
2019 | Vulnerabilities in IoT Devices for Smart Home Environment20.500.12207/5044 | Costa, Luís; Barros, João Paulo; Tavares, Miguel | article | openAccess |