Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Advisor
Title
Subject
Document Type
Access Type
Help
wcag
Language
English
português
Sign on to:
My Account
Receive email
updates
Edit Profile
tequery
tequery
Repositório do IPBeja
Search
Search:
All of DSpace
D-ENG - Engenharia
D-ENG - Artigos em revistas com peer review
D-ENG - Artigos em revistas indexadas à WoS/Scopus
D-ENG - Artigos em revistas não indexadas à WoS/Scopus
D-ENG - Artigos em revistas sem peer review
D-ENG - Comunicações com peer review
D-ENG - Comunicações sem peer review
D-ENG - Dissertações de Mestrado
D-ENG - Livros e Capítulo de livro
D-ENG - Posters
D-ENG - Provas Públicas
D-ENG - Relatórios Técnico-científicos
D-ENG - Teses de Doutoramento
D-ENG - Trabalhos de Investigação
for
Current filters:
Title
Author
Subject
Date Issued
Document Type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Document Type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
wcag
wcag
wcag
wcag
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Document Type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 11-19 of 19 (Search time: 0.024 seconds).
previous
1
2
next
Item hits:
This table browses all dspace content"
Issue Date
Title
Author(s)
Type
Access Type
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
2014
From SysML State Machines to Petri Nets using ATL Transformations
Pais, Rui
;
Barros, João Paulo
;
Gomes, Luís
article
info:eu-repo/semantics/restrictedAccess
2014
Towards the use of Place/Transition net tools for analysis of IOPT models
Barros, João Paulo
;
Gomes, Luís
conferenceObject
info:eu-repo/semantics/openAccess
19-Jul-2016
From requirements to code (Re2Code): A model-based approach for controller implementation
Brito, Isabel Sofia
;
Barros, João Paulo
;
Gomes, Luís
conferenceObject
closedAccess
12-Sep-2017
Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards
Ataíde, Artur
;
Barros, João Paulo
;
Brito, Isabel Sofia
;
Gomes, Luís
conferenceObject
closedAccess
Jun-2019
From non-autonomous Petri net models to executable state machines
Barros, João Paulo
;
Gomes, Luís
article
embargoedAccess
Oct-2018
Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications
Fernandes, João M.
;
Barros, João Paulo
;
Gomes, Luís
article
openAccess
Oct-2018
Refining IOPT Petri Nets Class for Embedded System Controller Modeling
Gomes, Luís
;
Barros, João Paulo
article
openAccess
2022
Towards an integrated tool support for the analysis of IOPT Nets using the Spin Model Checker
Barros, João Paulo
;
Gomes, Luís
article
restrictedAccess
Discover
Author
4
Moutinho, Filipe
3
Costa, Anikó
3
Pais, Rui
2
Barbosa, Paulo
2
Brito, Isabel Sofia
2
Costa, Aniko
2
Figueiredo, Jorge
2
Garcia, Luís
2
Pereira, Fernando
2
Ramalho, Franklin
.
next >
Subject
8
Indexação ISI
8
Petri nets
7
Indexação Scopus
5
Petri Nets
3
Cyber-physical systems
3
Embedded systems
3
IOPT
3
Semantics
3
Tools
2
ATL
.
next >
Date issued
1
2020 - 2022
16
2010 - 2019
2
2005 - 2009
Document Type
8
article
3
bookPart
8
conferenceObject