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-7 of 7 (Search time: 0.02 seconds).

previous
1
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
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
2011	A new approach to system identification and parameter tuning with multiple model adaptive estimators	Martins, J.C.; Caeiro, José Jasnau; Sousa, L.A.	conferenceObject	info:eu-repo/semantics/closedAccess
Nov-2011	From UML State Machines to Petri nets: history attribute translation strategies	Pais, Rui; Gomes, Luís; Barros, João Paulo	conferenceObject	info:eu-repo/semantics/closedAccess
2011	An Ecore based Petri net type definition for PNML IOPT models	Ribeiro, J.; Moutinho, F.; Pereira, F.; Barros, João Paulo; Gomes, L.	conferenceObject	info:eu-repo/semantics/closedAccess
Jan-2011	Using constraints for intrusion detection: the NeMODe system	Salgueiro, Pedro; Diaz, Daniel; Brito, Isabel Sofia; Salvador, Abreu	conferenceObject	info:eu-repo/semantics/closedAccess