Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Dušina, Julia (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
9
Vaata veel..
(3/70)
Ekspordi
ekspordi kõik päringu tulemused
(9)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
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
artikkel kogumikus
2
artikkel kogumikus
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
artikkel kogumikus
3
artikkel kogumikus
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
artikkel kogumikus
4
artikkel kogumikus
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
artikkel kogumikus
5
artikkel kogumikus
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
artikkel kogumikus
6
artikkel kogumikus
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
artikkel kogumikus
7
dissertatsioon
Test program generation for microprocessor systems
Dušina, Julia
1993
https://www.ester.ee/record=b2090526*est
dissertatsioon
8
dissertatsioon
Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]
Dušina, Julia
1999
dissertatsioon
9
artikkel kogumikus
Система генерирования тестов для микропроцессоров
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
artikkel kogumikus
Kirjeid leitud 9, kuvan
1 - 9
autor
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-)
tema kohta
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
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT