Repositório do IPBeja: Browsing DSpace

Browsing by Author Gomes, Luís

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 14 to 20 of 20 < previous

This table browses all dspace content
Issue Date	Title	Author(s)	Type	Access Type
May-2005	Structuring and composability issues in Petri nets modeling20.500.12207/703	Gomes, Luís; Barros, João Paulo	article	info:eu-repo/semantics/closedAccess
2011	SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design20.500.12207/491	Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Gomes, Luís; Figueiredo, Jorge; Moutinho, Filipe; Costa, Anikó; Aranha, André	bookPart	closedAccess
Sep-2012	Towards a complete description for individual course units: a follow-up to the Bologna proposals20.500.12207/657	Barros, João Paulo; Gomes, Luís; Garcia, Luís	conferenceObject	info:eu-repo/semantics/closedAccess
2022	Towards an integrated tool support for the analysis of IOPT Nets using the Spin Model Checker20.500.12207/5698	Barros, João Paulo; Gomes, Luís	article	restrictedAccess
12-Sep-2017	Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards20.500.12207/4787	Ataíde, Artur; Barros, João Paulo; Brito, Isabel Sofia; Gomes, Luís	conferenceObject	closedAccess
2011	Towards Statecharts to Input-Output Place Transition Nets Transformations20.500.12207/494	Pais, Rui; Gomes, Luís; Barros, João Paulo	bookPart	closedAccess
2014	Towards the use of Place/Transition net tools for analysis of IOPT models20.500.12207/4471	Barros, João Paulo; Gomes, Luís	conferenceObject	info:eu-repo/semantics/openAccess

Showing results 14 to 20 of 20 < previous