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 1076
Subscrever estatísticas do autor Autor
Í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 166-174 de um total de 174 resultados.
< anterior
Data
Título
Autor(es)
Tipo
Acesso
2016
Validating an approach to formalize use cases with ontologies
Couto, Rui
;
Ribeiro, António Nestor
;
Campos, José C.
Artigo em ata de conferência
Acesso aberto
23-Out-2022
Verification of railway network models with EVEREST
Martins, João
;
Fonseca, José M.
;
Costa, Rafael
, et al.
Artigo em ata de conferência
Acesso aberto
Dez-2017
Verification of user interface software: the example of use-related safety requirements and programmable medical devices
Harrison, Michael douglas
;
Masci, Paolo
;
Campos, José C.
, et al.
Artigo
Acesso aberto
2019
Verification templates for the analysis of user interface software design
Harrison, Michael douglas
;
Masci, Paolo
;
Campos, José C.
Artigo
Acesso aberto
2004
Verifying user interface behaviour with model checking
Campos, J. Creissac
;
Harrison, M. D.
;
Loer, Karsten
Artigo em ata de conferência
Acesso aberto
2014
A virtual environment based serious game to support health education
Gomes, Tiago Emanuel Oliveira
;
Abade, Tiago
;
Campos, J. Creissac
, et al.
Artigo
Acesso aberto
23-Jun-2015
Welcome to EICS 2015
Ziegler, Jürgen
;
Nebeling, Michael
;
Nigay, Laurence
, et al.
Editorial em ata de conferência
Acesso aberto
2016
Welcome to EICS 2016
Luyten, Kris
;
Palanque, Philippe
;
Campos, José C.
, et al.
Editorial em ata de conferência
Acesso aberto
2017
Welcome to the First Issue of PACMHCI EICS
Calvary, Gaelle
;
Nichols, Jeffrey
;
Campos, José C.
, et al.
Editorial em revista
Acesso restrito UMinho