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
Dušina, Julia (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..
(3/70)
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
Correct reuse of complex design units during high level synthesis : verification issues
Dušina, Julia
IEEE International High Level Design Validation and Test Workshop, Oakland, California, USA, November 15-16, 1996 : proceedings
1996
book article
2
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
3
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
https://ieeexplore.ieee.org/document/715419
book article
4
book article
FTGEN - система генерирования функциональных тестов
Ubar, Raimund-Johannes
;
Dušina, Julia
;
Zaugarov, Viktor
;
Крупнова Е.
;
Storožev, Sergei
Proceedings of CAD-93 : new information technologies for science, education and business, Yalta, May 4-13, 1993
1993
/
p. 123-125
book article
5
book article
Functional test program generation for digital systems
Ubar, Raimund-Johannes
;
Dušina, Julia
;
Krupnova, Helena
;
Storožev, Sergei
;
Zaugarov, Viktor
Testmethoden und Zuverlässigkeit von Schaltungen und Systemen : proceedings of the 6th workshop, Vaals (Niederlande), March 6-8, 1994
1994
/
p. 14-18: ill
book article
6
book article
Test generation for control faults in digital systems
Dušina, Julia
;
Brik, Marina
BEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 1
1994
/
p. 325-330: ill
book article
7
dissertation
Test program generation for microprocessor systems
Dušina, Julia
1993
https://www.ester.ee/record=b2090526*est
dissertation
8
dissertation
Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]
Dušina, Julia
1999
dissertation
9
book article
Система генерирования тестов для микропроцессоров
Ubar, Raimund-Johannes
;
Dušina, Julia
;
Zaugarov, Viktor
;
Крупнова Е.
;
Storožev, Sergei
Proceedings of international conference "Technical Diagnostics-93", St.-Peterburg, June 8-10, 1993
1993
/
p. 87-89
book article
Number of records 9, displaying
1 - 9
author
37
1.
Dušina, Julia
2.
Andrejeva, Julia
3.
Berdnikova, Julia
4.
Borissova, Julia
5.
Csaderova, Julia
6.
Deikina, Julia
7.
Derkatš, Julia
8.
Gavrilova, Julia
9.
Geller, Julia
10.
Gulevitš, Julia
11.
Haberkern, Julia
12.
Iljina, Julia
13.
Ivanisenko, Julia
14.
Kois, Julia
15.
Koreneva, Julia
16.
Kozhenkina, Julia
17.
Krasulina, Julia
18.
Kravetskaja, Julia
19.
Kuljasova, Julia
20.
Kurg, Julia
21.
Lehner, Julia
22.
Linna, Julia-Maria
23.
Ljaš, Julia
24.
Magden, Julia
25.
Maibach, Julia
26.
Marbach, Julia
27.
Pomares, Julia
28.
Rosend, Julia
29.
Sargent, Julia
30.
Seppä, Julia
31.
Smahtina, Julia
32.
Smirnova, Julia
33.
Sokolova, Julia
34.
Solovjova, Julia
35.
Tisler, Julia
36.
Traistaru, Julia
37.
Vassiljeva, Julia
CV
23
1.
Dušina, Julia
2.
Dusina, Julia
3.
Berdnikova, Julia
4.
Deikina, Julia
5.
Derkats, Julia
6.
Derkatš, Julia (-2008)
7.
Dushina, Julia
8.
Gavrilova, Julia
9.
Geller, Julia
10.
Grosschmid, Julia Anna
11.
Grosschmid, Júlia Anna
12.
Iljina, Julia
13.
Kalašnikova, Julia
14.
Kapralova, Julia
15.
Kois, Julia
16.
Kravetskaja, Julia
17.
Kutsõn, Julia
18.
Lehner, Julia
19.
Pantelejeva, Julia
20.
Rikkas, Julia
21.
Smahtina, Julia
22.
Smirnova, Julia
23.
Vään, Julia (2010-)
name of the person
10
1.
Gavrilova, Julia
2.
Krasulina, Julia
3.
Kravetskaja, Julia
4.
Kutsõn, Julia
5.
Lehner, Julia
6.
Leontjeva, Julia
7.
Mõnnakmäe, Julia
8.
Pajuste, Julia
9.
Rosend, Julia
10.
Smirnova, Julia
×
match
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