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 24 (Search time: 0.01 seconds).

previous
1
2
3
next

Item hits:

This table browses all dspace content"
Issue Date	Title	Author(s)	Type	Access Type
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
Mar-2009	Organic residues as immobilizing agents in aided phytostabilization: (II) Effects on soil biochemical and ecotoxicological characteristics	Alvarenga, Paula; Palma, P.; Gonçalves, A. P.; Fernandes, R. M.; Varennes, A.; Valline, G.; Duarte, E.; Cunha-Queda, A. C.	article	closedAccess
Jun-2009	Neural code metrics: Analysis and application to the assessment of neural models	Martins, J.; Tomás, P.; Sousa, L.	article	closedAccess
Jul-2010	From Petri net models to C implementation of digital controllers	Gomes, L.; Rebelo, R.; Barros, João Paulo; Costa, A.; Pais, R.	conferenceObject	info:eu-repo/semantics/closedAccess
Feb-2010	On the True Cramér-Rao Lower Bound for Data-Aided Carrier-Phase-Independent Frequency Offset and Symbol Timing Estimation	Tavares, Gonçalo; Tavares, Luis; Petrolino, Antonio	article	closedAccess
Sep-2010	Improved road crack detection based on one-class Parzen density estimation and entropy reduction	Oliveira, Henrique; Caeiro, José Jasnau; Correia, Paulo	article	info:eu-repo/semantics/closedAccess
Feb-2011	Petri Net based specification and verification of globally-asynchronous-locally-synchronous system	Moutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Aniko; Monteiro, Andre	conferenceObject	info:eu-repo/semantics/closedAccess
May-2005	Structuring and composability issues in Petri nets modeling	Gomes, Luís; Barros, João Paulo	article	info:eu-repo/semantics/closedAccess
Nov-2010	Ecore representation for extending PNML for input-output place-transition nets	Moutinho, F.; Gomes, L.; Ramalho, F.; Figueiredo, J.; Barros, João Paulo; Barbosa, P.; Pais, Rui; Costa, A.	conferenceObject	info:eu-repo/semantics/closedAccess