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 orientadores 6210
Í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 1-7 de um total de 7 resultados.
Data
Título
Autor(es)
Tipo
Acesso
13-Nov-2020
Analysis of message passing software using electrum
Carvalho, Bruno Renato Fernandes
Dissertação de mestrado
Acesso aberto
2022
Automatic repair of behavioural specifications
Cerqueira, Jorge Gabriel Alves
Dissertação de mestrado
Acesso aberto
20-Dez-2021
Lightweight trustworthy high-level software design
Liu, Chong
Tese de doutoramento
Acesso aberto
10-Dez-2016
Parallel verification of dynamic systems with rich configurations
Pessoa, Eduardo José Dias
Dissertação de mestrado
Acesso aberto
16-Jul-2021
Safety verification for ROS software
Santos, André Filipe Faria
Tese de doutoramento
Acesso aberto
26-Jul-2021
Towards a quantitative alloy
Silva, Pedro Faria Durães da
Dissertação de mestrado
Acesso aberto
2017
A web-based social environment for Alloy
Pereira, José Manuel Costa
Dissertação de mestrado
Acesso aberto