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-10 of 11 (Search time: 0.001 seconds).
Item hits:
This table browses all dspace content"
Issue DateTitleAuthor(s)TypeAccess Type
2013A Proposal for the Description of Individual Course UnitsBarros, João Paulo; Gomes, Luís; Garcia, LuísarticleclosedAccess
2014Extending Input-Output Place-Transition Petri Nets for Distributed Controller Systems DevelopmentGomes, Luís; Moutinho, Filipe; Pereira, Fernando; Ribeiro, José; Costa, Anikó; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/restrictedAccess
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
2013Merging and splitting Petri net models within distributed embedded controller designGomes, Luís; Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, FernandobookPartinfo:eu-repo/semantics/closedAccess
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
Sep-2012Towards a complete description for individual course units: a follow-up to the Bologna proposalsBarros, João Paulo; Gomes, Luís; Garcia, LuísconferenceObjectinfo: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
2014From SysML State Machines to Petri Nets using ATL TransformationsPais, Rui; Barros, João Paulo; Gomes, Luísarticleinfo:eu-repo/semantics/restrictedAccess

Discover