Skip navigation
DSpace logo
  1. Repositório do IPBeja

Search


Current filters:

Start a new search

wcag

wcag

wcag

wcag

Add filters:

Use filters to refine the search results.

 | 
Results 1-8 of 8 (Search time: 0.002 seconds).
  • previous
  • 1
  • next
Item hits:
This table browses all dspace content"
Issue DateTitleAuthor(s)TypeAccess Type
2011SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems DesignBarbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Gomes, Luís; Figueiredo, Jorge; Moutinho, Filipe; Costa, Anikó; Aranha, AndrébookPartclosedAccess
2011Towards Statecharts to Input-Output Place Transition Nets TransformationsPais, Rui; Gomes, Luís; Barros, João PaulobookPartclosedAccess
Feb-2011Petri Net based specification and verification of globally-asynchronous-locally-synchronous systemMoutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Aniko; Monteiro, AndreconferenceObjectinfo:eu-repo/semantics/closedAccess
2012Model composition by reusing Petri net based modulesCosta, Aniko; Gomes, Luís; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
May-2005Structuring and composability issues in Petri nets modelingGomes, Luís; Barros, João Pauloarticleinfo:eu-repo/semantics/closedAccess
Nov-2011From UML State Machines to Petri nets: history attribute translation strategiesPais, Rui; Gomes, Luís; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
19-Jul-2016From requirements to code (Re2Code): A model-based approach for controller implementationBrito, Isabel Sofia; Barros, João Paulo; Gomes, LuísconferenceObjectclosedAccess
12-Sep-2017Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boardsAtaíde, Artur; Barros, João Paulo; Brito, Isabel Sofia; Gomes, LuísconferenceObjectclosedAccess

Discover