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 assunto Formal methods
Í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-20 de um total de 25 resultados.
próximo >
Data
Título
Autor(es)
Tipo
Acesso
7-Set-2023
Adding uncertainty to real-time programming
Carvalho, Rui Carlos Azevedo
Dissertação de mestrado
Acesso aberto
2023
AMAN case study
Palanque, Philippe
;
Campos, José C.
Artigo em ata de conferência
Acesso aberto
31-Jan-2022
An HAROS extension for variability aware ROS code analysis
Pereira, Ricardo Ribeiro
Dissertação de mestrado
Acesso aberto
2009
An integrated formal methods tool-chain and its application to verifying a file system model
Ferreira, Miguel A.
;
Oliveira, José Nuno Fonseca
Artigo em ata de conferência
Acesso aberto
2022
Automatic repair of behavioural specifications
Cerqueira, Jorge Gabriel Alves
Dissertação de mestrado
Acesso aberto
15-Jan-2024
Back to programming from Galois connections
Pereira, Paulo Ricardo Antunes
Dissertação de mestrado
Acesso aberto
2010
Certification of open-source software : a role for formal methods?
Barbosa, L. S.
;
Cerone, Antonio
;
Petrenko, Alexander
, et al.
Artigo
Acesso aberto
9-Jan-2020
Early validation of system requirements and design
Miranda, Marcelo
Dissertação de mestrado
Acesso aberto
2009
Extended static checking by calculation using the pointfree transform
Oliveira, José Nuno Fonseca
Artigo em ata de conferência
Acesso aberto
2019
Formal techniques in the safety analysis of software components of a new dialysis machine
Harrison, Michael douglas
;
Freitas, Leo
;
Drinnan, Michael
, et al.
Artigo
Acesso aberto
2019
High assurance on cyber-physical interactive systems
Couto, Rui
;
Campos, José C.
Artigo em ata de conferência
Acesso aberto
2017
Implementing a linear algebra approach to data processing
Pontes, Rogério
;
Matos, Miguel Ângelo Marques
;
Oliveira, José Nuno Fonseca
, et al.
Artigo em ata de conferência
Acesso restrito UMinho
2015
Layers, resources and property templates in the specification and analysis of two interactive systems
Campos, José C.
;
Curzon, Paul
;
Masci, Paolo
, et al.
Artigo em ata de conferência
Acesso aberto
8-Jan-2024
Mining hints for fixing formal specifications
Neto, Henrique Gabriel dos Santos
Dissertação de mestrado
Acesso aberto
2013
Modeling and formal analysis of urban road traffic
Avram, Camelia
;
Machado, José
;
Aştilean, Adina
Artigo em ata de conferência
Acesso aberto
2006
Program slicing by calculation
Barbosa, L. S.
;
Rodrigues, Nuno F.
Artigo
Acesso aberto
27-Set-2013
Proof support for hybridised logics
Neves, Renato Jorge Araújo
Dissertação de mestrado
Acesso aberto
2023
Prototyping with the IVY workbench: bridging formal methods and user-centred design
Costa, Rafael Braga da
;
Campos, José C.
Artigo em ata de conferência
Acesso aberto
Abr-1990
A reification calculus for model-oriented software specification
Oliveira, José Nuno Fonseca
Artigo
Acesso aberto
2017
Safety analysis of software components of a dialysis machine using model checking
Harrison, Michael douglas
;
Drinnan, M.
;
Campos, José C.
, et al.
Artigo em ata de conferência
Acesso aberto