Search

Search:
for

Current filters:

Start a new search

wcag

wcag

wcag

wcag

Add filters:

Results/Page | Sort items by In order Authors/record

Results 11-19 of 19 (Search time: 0.014 seconds).

previous
1
2
next

Item hits:

This table browses all dspace content"
Issue Date	Title	Author(s)	Type	Access Type
Nov-2011	From UML State Machines to Petri nets: history attribute translation strategies	Pais, Rui; Gomes, Luís; Barros, João Paulo	conferenceObject	info:eu-repo/semantics/closedAccess
2014	From SysML State Machines to Petri Nets using ATL Transformations	Pais, Rui; Barros, João Paulo; Gomes, Luís	article	info:eu-repo/semantics/restrictedAccess
2014	Towards the use of Place/Transition net tools for analysis of IOPT models	Barros, João Paulo; Gomes, Luís	conferenceObject	info:eu-repo/semantics/openAccess
19-Jul-2016	From requirements to code (Re2Code): A model-based approach for controller implementation	Brito, Isabel Sofia; Barros, João Paulo; Gomes, Luís	conferenceObject	closedAccess
12-Sep-2017	Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards	Ataíde, Artur; Barros, João Paulo; Brito, Isabel Sofia; Gomes, Luís	conferenceObject	closedAccess
Jun-2019	From non-autonomous Petri net models to executable state machines	Barros, João Paulo; Gomes, Luís	article	embargoedAccess
Oct-2018	Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications	Fernandes, João M.; Barros, João Paulo; Gomes, Luís	article	openAccess
Oct-2018	Refining IOPT Petri Nets Class for Embedded System Controller Modeling	Gomes, Luís; Barros, João Paulo	article	openAccess
2022	Towards an integrated tool support for the analysis of IOPT Nets using the Spin Model Checker	Barros, João Paulo; Gomes, Luís	article	restrictedAccess