Skip navigation
tequery
Página principal
Percorrer por
Comunidades
& Coleções
Percorrer por:
Títulos
Autores
Autores UMinho
Orientadores
Editores
Assuntos
Áreas do conhecimento
Datas de publicação
Tipos de documento
Tipos de acesso
Editoras
Revistas
Ajudas
Sobre o RepositóriUM
FAQs
Utilização geral
Auto-Arquivo
Copyright
português
francês
espanhol
inglês
Entrar
Área Pessoal
Subscrição de estatísticas
Serviço de alertas
Editar conta
Percorrer por autor Ribeiro, Óscar R.
Subscrever estatísticas do autor Ribeiro, Óscar R.
Índice:
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
ou inserir as letras iniciais:
Ordenar por:
título
data de publicação
data de depósito
tipo de documento
tipo de acesso
Em ordem:
ascendente
descendente
Resultados/Página:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registo:
todos
1
3
5
10
15
20
25
30
35
40
45
50
Mostrar 5-8 de um total de 8 resultados.
< anterior
Data
Título
Autor(es)
Tipo
Acesso
16-Nov-2010
The APEX framework: prototyping of ubiquitous environments based on Petri Nets
Silva, José Luís Cardoso
;
Ribeiro, Óscar R.
;
Campos, J. Creissac
, et al.
Artigo em ata de conferência
Acesso aberto
Jul-2007
Translating synchronous Petri Nets into PROMELA for verifying behavioural properties
Ribeiro, Óscar R.
;
Fernandes, João M.
Artigo em ata de conferência
Acesso aberto
Set-2007
Validation of reactive software from scenario-based models
Ribeiro, Óscar R.
;
Fernandes, João M.
Artigo em ata de conferência
Acesso aberto
Set-2009
Validation of scenario-based business requirements with Coloured Petri Nets
Ribeiro, Óscar R.
;
Fernandes, João M.
Artigo em ata de conferência
Acesso aberto