Skip navigation
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Document Type
Access types
Scientific areas
Scientific areas (cloud format)
Help
Idioma
English
português
Repositório Aberto da Universidade do Porto
Browsing by Author Telmo Pedro Gomes Amaral
Jump to:
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
or enter first few letters:
Sort by:
Title
Issue date
Author
Submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 2 of 2
Issue Date
Title
Author(s)
Type
1999
A Framework for System-Level Co-Verification Using the BST Infrastructure
Gustavo R. Alves
;
Telmo Pedro Gomes Amaral
;
José M. Martins Ferreira
Artigo em Livro de Atas de Conferência Internacional
1999
Board-Level prototype validation: a Built-in controller and extended BS architecture
Gustavo Costa Alves
;
Telmo Pedro Gomes Amaral
;
José Martins Ferreira
Artigo em Livro de Atas de Conferência Internacional