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 1-6 of 6 (Search time: 0.022 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
2013
Merging and splitting Petri net models within distributed embedded controller design
Gomes, Luís
;
Costa, Anikó
;
Barros, João Paulo
;
Moutinho, Filipe
;
Pereira, Fernando
bookPart
info:eu-repo/semantics/closedAccess
2016
Metodologias da engenharia de requisitos: identificação e avaliação das orientações
Paldês, Roberto
;
Calazans, Angelica
;
Maia, Tiago
;
Brito, Isabel Sofia
;
Mariano, Ari
bookPart
openAccess
Feb-2019
Water Management for Rural Environments and IoT
Martins, João Carlos
;
Caeiro, José Jasnau
bookPart
closedAccess
2019
An approach to help identifying optimized service areas of integrated continuous care teams (ECCI): a case study in Alentejo - Portugal
Oliveira, Henrique
;
Lopes, M
;
Fonseca, C
;
Goes, M
;
Mendes, D
;
Caeiro, J
bookPart
closedAccess
Discover
Author
3
Barros, João Paulo
3
Gomes, Luís
2
Costa, Anikó
2
Moutinho, Filipe
1
Aranha, André
1
Barbosa, Paulo
1
Brito, Isabel Sofia
1
Caeiro, J
1
Caeiro, José Jasnau
1
Calazans, Angelica
.
next >
Subject
4
Indexação Scopus
2
Indexação ISI
2
Indexação Springer
2
Petri Nets
1
ATL
1
CNAEF 481
1
CNAEF 523
1
code generation
1
composition
1
Cuidados Continuados Integrados
.
next >
Date issued
2
2019
1
2016
1
2013
2
2011