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 1-10 of 50 (Search time: 0.012 seconds).

previous
1
2
3
4
...
5
next

Item hits:

This table browses all dspace content"
Issue Date	Title	Author(s)	Type	Access Type
2006	Modularidade em Redes de Petri	Barros, João Paulo	doctoralThesis	openAccess
2013	A Proposal for the Description of Individual Course Units	Barros, João Paulo; Gomes, Luís; Garcia, Luís	article	closedAccess
Nov-2009	PNML based composition in non-autonomous Petri net models	Gomes, L.; Barros, João Paulo	conferenceObject	closedAccess
2014	Extending Input-Output Place-Transition Petri Nets for Distributed Controller Systems Development	Gomes, Luís; Moutinho, Filipe; Pereira, Fernando; Ribeiro, José; Costa, Anikó; Barros, João Paulo	conferenceObject	info:eu-repo/semantics/restrictedAccess
2011	SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design	Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Gomes, Luís; Figueiredo, Jorge; Moutinho, Filipe; Costa, Anikó; Aranha, André	bookPart	closedAccess
2011	Towards Statecharts to Input-Output Place Transition Nets Transformations	Pais, Rui; Gomes, Luís; Barros, João Paulo	bookPart	closedAccess
2005	A Case Study on Coloured Petri Nets in object-oriented analysis and design	Barros, João Paulo; Jørgensen, Jens Bæk	article	openAccess
Oct-2007	On the use of programming languages for textual specification of Petri Net Models	Barros, João Paulo; Gomes, Luís	article	openAccess
Jun-2011	Towards the use of sequence diagrams as a learning aid	Barros, João Paulo; Biscaia, Luís; Vitória, Miguel	conferenceObject	openAccess
2014	On the Description of Individual Course Units for Programme Assessment and  Better Syllabuses	Barros, João Paulo	article	info:eu-repo/semantics/openAccess