Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Ernits, Juhan-Peep (TTÜ autor)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 38
Vaata veel.. (4/215)
Ekspordi

ekspordi kõik päringu tulemused (38)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
26

artikkel kogumikus

(Semi-)Automatic generation of Uppaal models for model checking embedded control systemsErnits, Juhan-Peep; Vain, Jüri14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts2002 / p. 45-46

artikkel kogumikus
27

artikkel ajalehes

Silmad kinni ja näpud püsti! Kellest saab doktorant? : [kavandatavaid seadusemuudatusi õppetoetuste ja õppelaenu osas kommenteerivad TTÜ kõnetehnoloogia doktorant Tanel Alumäe, infotehnoloogia doktorant Juhan-Peep Ernits ja Küberneetikainstituudi vanemteadur Ülle Kotta]Lill, Anne; Alumäe, Tanel; Ernits, Juhan-Peep; Kotta, ÜlleLinnaleht2004 / 3. dets., lk. A 7

artikkel ajalehes
28

artikkel ajakirjas

Solving line balancing problems with model checkingVain, Jüri; Randvee, Ingmar; Riismaa, Tiit; Ernits, Juhan-PeepProceedings of the Estonian Academy of Sciences. Engineering2002 / 4, p. 211-222 : ill https://artiklid.elnet.ee/record=b1011298*est

artikkel ajakirjas
29

artikkel kogumikus

State isomorphism in model programs with abstract data structuresVeanes, Margus; Ernits, Juhan-Peep; Campbell, ColinFormal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings2007 / p. 112-127 : ill

artikkel kogumikus
30

artikkel kogumikus

State isomorphism in model programs with abstract data structuresVeanes, Margus; Ernits, Juhan-Peep; Campbell, ColinInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 43-46 : ill

artikkel kogumikus
31

artikkel kogumikus

Synthesis of test purpose directed reactive planning tester for nondeterministic systemsVain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-Peep22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA2007 / p. 363-372 https://www.researchgate.net/publication/220883693_Synthesis_of_test_purpose_directed_reactive_planning_tester_for_nondeterministic_systems

artikkel kogumikus
32

artikkel kogumikus

Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts)Vain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-PeepNWTP'07/FLACOS'07 Workshop Proceedings : Oslo, 10-12 October 20072007 / p. 55-57

artikkel kogumikus
33

artikkel ajalehes

TalTechi teadlaste loodud tehisintellektsüsteem muudab laokaupade liigutamise lihtsamaks, efektiivsemaks ja turvalisemaksari.geenius.ee2023 TalTechi teadlaste loodud tehisintellektsüsteem muudab laokaupade liigutamise lihtsamaks, efektiivsemaks ja turvalisemaks

artikkel ajalehes
34

artikkel kogumikus

Towards better specifications for software outsourcingLump, Peeter; Ernits, Juhan-Peep; Vain, JüriDatabases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 20142014 / p. 453-458 : ill

artikkel kogumikus
35

artikkel ajalehes

TTÜ aastal 2020 : töögrupi vahearuanneErnits, Juhan-Peep; Goi, Anna; Jervan, Gert; Leibak, Alar; Randma-Liiv, Tiina; Otto, Tauno; Rosin, Argo; Sarmiento Guerin, Maria CeciliaMente et Manu2009 / 16. veebr., lk. 4 : fot https://www.ester.ee/record=b1242496*est

artikkel ajalehes
36

raamat

20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstractsUustalu, Tarmo; Vain, Jüri; Ernits, Juhan-Peep2008 https://www.ester.ee/record=b2435749*est

raamat
37

dissertatsioon

Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollisErnits, Juhan-Peep2007 https://digi.lib.ttu.ee/i/?162

dissertatsioon
38

artikkel kogumikus

Utilising processor cache for speeding up reachability checks in model checkingErnits, Juhan-PeepEleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 20062006 / [1] p

artikkel kogumikus

Kirjeid leitud 38, kuvan 26 - 38

eelmine
1
2
järgmine

1. Juhan Kuusi Dokfoto keskus

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu