Browsing by Subject Cyber-physical systems
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
Jun-2019 | From non-autonomous Petri net models to executable state machines20.500.12207/4968 | Barros, João Paulo; Gomes, Luís | article | embargoedAccess |
19-Jul-2016 | From requirements to code (Re2Code): A model-based approach for controller implementation20.500.12207/4790 | Brito, Isabel Sofia; Barros, João Paulo; Gomes, Luís | conferenceObject | closedAccess |
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 |