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 1936
Í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 6-16 de um total de 16 resultados.
< anterior
Data
Título
Autor(es)
Tipo
Acesso
9-Jan-2020
Early validation of system requirements and design
Miranda, Marcelo
Dissertação de mestrado
Acesso aberto
14-Dez-2011
Extração automática de modelos de sistemas de tempo real
Carvalho, André Ribeiro de
Dissertação de mestrado
Acesso aberto
14-Dez-2011
Formal verification of Ada programs: an approach based on model checking
Martins, João Pedro Marques da Silva
Dissertação de mestrado
Acesso aberto
5-Abr-2022
Formalization of deep learning techniques with the Why3 proof platform
Sousa, Márcio Alexandre Mota
Dissertação de mestrado
Acesso aberto
14-Jul-2020
Scalable trace analysis of distributed systems: finding data races
Pereira, João Carlos Mendes
Dissertação de mestrado
Acesso aberto
2-Jul-2018
Single-assignment program verification
Lourenço, Cláudio Filipe Belo da Silva
Tese de doutoramento
Acesso aberto
27-Nov-2023
Sistema de pagamentos descentralizado para e-commerce na Blockchain
Vaz, Ricardo Oliveira
Dissertação de mestrado
Acesso aberto
12-Dez-2018
Verificação funcional de controladores Arduino
Barbosa, Rafael Alexandre Antunes
Dissertação de mestrado
Acesso aberto
11-Abr-2022
Verification of distributed algorithms with the Why3 tool
Cruz, Carla Isabel Novais
Dissertação de mestrado
Acesso aberto
21-Out-2011
Verification, slicing, and visualization of programs with contracts
Cruz, Daniela da
Tese de doutoramento
Acesso aberto
19-Dez-2022
Vulnerabilities preservation using code mutation
Cruz, Jorge Fernando Alves da
Dissertação de mestrado
Acesso aberto