Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Borrione, Dominique (author)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
9
Look more..
(1/8)
Export
export all inquiry results
(9)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
Automatic diagnosis of simple design errors
Ubar, Raimund-Johannes
;
Borrione, Dominique
TIMA annual report 1998
1999
/
p. 97-98
book article
2
book article
Automatic diagnosis of simple design errors
Ubar, Raimund-Johannes
;
Borrione, Dominique
Techniques of Informatics and Microelectronics for Computer Architecture
1999
/
p. 91
book article
3
book article
Design error diagnosis in digital circuits without error model
Ubar, Raimund-Johannes
;
Borrione, Dominique
VLSI : systems on a chip : IFIP TC10 WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI'99) : December 1-4, 1999, Lisboa, Portugal
1999
/
p. 281-292 : ill
book article
4
book article
Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem prover
Dušina, Julia
;
Borrione, Dominique
2nd Workshop on Libraries, Component Modeling and Quality Assurance : proceedings : Toledo, Spain, April, 1997
1997
/
p. 169-180
book article
5
book article
Formalization of finite state machines with data path for the verification of high-level synthesis
Borrione, Dominique
;
Dušina, Julia
;
Pierre, Laurence
XI Brasilian Symposium on Integrated Circuit Design, September 30 - October 3, 1998, Rio de Janeiro, Brazil : proceedings
1998
/
p. 99-102: ill
book article
6
book article
Generation of tests for the localization of single gate design errors in combinational circuits using the stuck-at fault model
Ubar, Raimund-Johannes
;
Borrione, Dominique
XI Brasilian Symposium on Integrated Circuit Design, September 30 - October 3, 1998, Rio de Janeiro, Brazil : proceedings
1998
/
p. 51-54
book article
7
book article
Localization of single-gate design errors in combinational circuits by diagnostic information about stuck-at faults
Ubar, Raimund-Johannes
;
Borrione, Dominique
Proceedings of the 2nd International Workshop on Design and Diagnostics of Electronic Circuits and Systems, Szczyrk, Poland, September 2-4, 1998
1998
/
p. 73-79
book article
8
journal article
Single gate design error diagnosis in combinational circuits
Ubar, Raimund-Johannes
;
Borrione, Dominique
Proceedings of the Estonian Academy of Sciences. Engineering
1999
/
1, p. 3-21: ill
https://artiklid.elnet.ee/record=b1000315*est
journal article
9
dissertation
Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]
Dušina, Julia
1999
dissertation
Number of records 9, displaying
1 - 9
author
8
1.
Borrione, Dominique
2.
Clorennec, Dominique
3.
Decultot, Dominique
4.
Lochegnies, Dominique
5.
Luder, Dominique
6.
Rissolo, Dominique
7.
Thevenin, Dominique
8.
Unruh, Dominique
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT