Skip navigation

Search


Current filters:

Start a new search

wcag

wcag

wcag

wcag

Add filters:

Use filters to refine the search results.


Results 1-10 of 28 (Search time: 0.002 seconds).
Item hits:
This table browses all dspace content"
Issue DateTitleAuthor(s)TypeAccess Type
Nov-2009PNML based composition in non-autonomous Petri net modelsGomes, L.; Barros, João PauloconferenceObjectclosedAccess
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
Jun-2011Towards the use of sequence diagrams as a learning aidBarros, João Paulo; Biscaia, Luís; Vitória, MiguelconferenceObjectopenAccess
2014Requirements Specification for Controller Design-from Use Cases to IOPT Net ModelsBarros, João Paulo; Brito, Isabel Sofia; Gomes, LuisconferenceObjectinfo:eu-repo/semantics/closedAccess
Jul-2010From Petri net models to C implementation of digital controllersGomes, L.; Rebelo, R.; Barros, João Paulo; Costa, A.; Pais, R.conferenceObjectinfo:eu-repo/semantics/closedAccess
Jul-2012Educating for mobile computing: addressing the new challengesBurd, Barry; Barros, João Paulo; Johnson, Chris M.; Kurkovsky, Stan; Rosenbloom, Arnold; Tillman, NikolaiconferenceObjectinfo:eu-repo/semantics/closedAccess
3-Jul-2012Educating for mobile computing: addressing the new challengesBurd, B.; Barros, João Paulo; Johnson, C.; Kurkovsky, S.; Rosenbloom, A.; Tillman, N.conferenceObjectinfo:eu-repo/semantics/closedAccess
2011Java2Sequence: a tool for the visualization of object-oriented programs in introductory programmingBarros, João Paulo; Biscaia, Luís; Vitória, MiguelconferenceObjectinfo: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
31-Oct-2013Curricular unit specification for programme assessment: fostering teacher reflection, while improving course cataloguesBarros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess