Otsing - TalTech raamatukogu digikogu

Vali kollektsioon vali kõik eemalda valik

artiklid

bakalaureusetööd

digiteeritud perioodika

diplomitööd

doktoritööd

IOP

kaitsmisele minevad doktoritööd

konverentsikogumikud

magistritööd

raamatukogu väljaanded

standardid

teadus- ja arengutegevuse aruanded

Tehnikaülikooli ajalugu

Tehnikaülikooli toimetised

uuringuaruanded

varia

õpikud ja õppevahendid

Pealkiri

Autor/juhendaja/koostaja

Struktuuriüksus

Märksõna

Aasta

-

Reasta

Register

Vain, Jüri - juhendaja

Kuva ainult täistekste

Kirjeid leitud: 28

1. Uppaali mudelite bisimilaarsuse verifitseerimine. Bisumulation Verifacation of Uppaal Models Alizai, Naveed Ahmed18.08.2020 magistritööd
2. Model Based Framework for Distributed Control and Testing of Cyber-Physical Systems. Mudelipõhine raamistik küber-füüsikaliste süsteemide hajusjuhtimiseks ja -testimiseks Anier, Aivo30.08.2016 doktoritööd
3. Mudelipõhine PLC Tööstustarkvara Testimine. Model based testing of PLC Factory Automation Software Cizmecioglu, Eren05.06.2017 magistritööd
4. Nõrgal unifitseerimisel ja semantilisel võrgul põhinev inimene-masin dialoogisüsteem. Human-machine dialogue system based on weak unification and semantic network Düüna, Siim11.06.2018 bakalaureusetööd
5. Two State Space Reduction Techniques for Explicit State Model Checking.Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis Ernits, Juhan-Peep29.11.2007 doktoritööd
6. Mudeli-põhine testimine keskkonnaga TestIt: robotite operatsioonisüsteemi juhtumiuuring. Model-Based Testing with TestIt: the Robot Operating System case-study Gummel, Artur07.06.2018 magistritööd
7. Scenario Oriented Model-Based Testing. Stsenaariumjuhitud mudelipõhine testimine Halling, Evelin10.05.2019 doktoritööd
8. Mobiilirakenduste CI/CD arendusprotsessi välja töötamine ja juurutamine ettevõttes Handies Solutions OÜ. CI/CD pipeline development for mobile app products – Handies Solutions OÜ Heinamäe, Artur-Andres07.06.2021 bakalaureusetööd
9. Hajustestri genereerimisalgoritmi optimeerimine ja implementeerimine. Optimisation and implementation of distributed tester generation algorithm Jakobson, Henri07.06.2022 bakalaureusetööd
10. Robotplatvorm loomuliku keele dialoogsüsteemidele. Robot Platform for Natural Language Dialogue Systems Kalmend, Oliver19.01.2017 magistritööd
11. Model-Based Testing Framework for Autonomous Multi-Robot Systems. Mudelipõhine testimisraamistik autonoomsetele multirobotsüsteemidele Kanter, Gert03.07.2020 doktoritööd
12. Kuu habitaadi energiakasutuse reeglipõhine juhtimine mittetäieliku informatsiooni tingimustes. Rule-based Control of the Space Habitat Under the Conditions of Incomplete Information Kasesalu, Merlin09.06.2020 bakalaureusetööd
13. Rakendus COLREGi verifitseerija sisendandmete genereerimiseks. Application for Generating Input Data for COLREG Verifier Kroon, Renee06.06.2025 magistritööd
14. Hajussüsteemide mudelipõhine testimine Tallinna tänavavalgustuse süsteemi näitel. Model-Based Testing of Distributed Systems: Tallinn Streetlight System Case-Study Kruusamägi, Age07.06.2016 magistritööd
15. Model-Based Testing of Reactive Systems. Reaktiivsete süsteemide mudelipõhine testimine Kull, Andres15.12.2009 doktoritööd
16. Aspekt-orienteeritud testimise efektiivsusanalüüs. Aspect oriented testing efficiency analysis Kurss, Johannes Olaf07.06.2021 bakalaureusetööd
17. Automatiseeritud süsteemide tarkvara kvaliteediplaan ühekordse endoskoobi lõppkontrolli seadme näitel. Software Quality Plan for Automated Systems Based on Single-use Endoscope Final Inspection Device Kurus, Merli30.05.2024 magistritööd
18. Ontoloogiate liitmine Prologis pehme unifitseerimise põhimõttel. Ontology Merging in Prolog Using the Principle of Soft Unification Kuusik, Norman03.06.2024 bakalaureusetööd
19. A Symbolic Approach to Model-based Online Testing. Mudelipõhine online-testimine kasutades sümbolarvutust Kääramees, Marko28.11.2012 doktoritööd
20. Nutika kuuelamu elutagamissüsteemi töökindluse prototüüpimine. Prototyping the Reliability of the Life Support System in a Smart Lunar Habitat Lutsar, Meelis10.06.2025 bakalaureusetööd
21. TTÜ linnaku mobiilse parkimise rakendus. TTÜ campus mobile parking application Peetsalu, Emil Roland11.06.2018 bakalaureusetööd
22. Testimiseesmärkide spetsifitseerimiskeele TDL(TP) interpretaatori implementeerimine. Implementation of an Interpreter for the Test Purpose Specification Language TDL(TP) Prikk, Tanel12.06.2019 bakalaureusetööd
23. Kuuelamu IGLUNA 3D simulatsioon Pung, Britta11.06.2019 bakalaureusetööd
24. Aspect-Oriented Model-Based Testing. Aspekt-orienteeritud mudeli-põhine testimine Sarna, Külli15.11.2018 doktoritööd
25. Mudelipõhine hajustestimine Tallinna infosüsteemi Teele näitel. Distributed Model-Based Testing of Tallinn City Information System Teele Sims, Kairit29.05.2020 magistritööd

Kirjeid leitud: 28

1
2
Next
Last

TalTech Digikogu