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: 26

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. 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
14. Model-Based Testing of Reactive Systems. Reaktiivsete süsteemide mudelipõhine testimine Kull, Andres15.12.2009 doktoritööd
15. Aspekt-orienteeritud testimise efektiivsusanalüüs. Aspect oriented testing efficiency analysis Kurss, Johannes Olaf07.06.2021 bakalaureusetööd
16. 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
17. Ontoloogiate liitmine Prologis pehme unifitseerimise põhimõttel. Ontology Merging in Prolog Using the Principle of Soft Unification Kuusik, Norman03.06.2024 bakalaureusetööd
18. A Symbolic Approach to Model-based Online Testing. Mudelipõhine online-testimine kasutades sümbolarvutust Kääramees, Marko28.11.2012 doktoritööd
19. TTÜ linnaku mobiilse parkimise rakendus. TTÜ campus mobile parking application Peetsalu, Emil Roland11.06.2018 bakalaureusetööd
20. 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
21. Kuuelamu IGLUNA 3D simulatsioon Pung, Britta11.06.2019 bakalaureusetööd
22. Aspect-Oriented Model-Based Testing. Aspekt-orienteeritud mudeli-põhine testimine Sarna, Külli15.11.2018 doktoritööd
23. 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
24. TTÜ Mektory nanosatelliidi tarkvara testide tõestatavalt korrektne arendus. Provably Correct Test Development for TUT Mektory Nanosatellite Software Singh, Madhushree30.05.2018 magistritööd
25. Kaugloetavate elektriarvestite IKT riskianalüüs. ICT Risk Assessment of Smart Electricity Meters Till, Eerik10.06.2014 magistritööd

Kirjeid leitud: 26

1
2
Next
Last

TalTech Digikogu