Search - TalTech raamatukogu digikogu

Select collection select all remove selection

annual reports of research & development activities

articles

bachelor's theses

conference proceedings

digitized periodicals

diploma theses

dissertations

history of TalTech

IOP

library publications

master's theses

pre-dissertations

research reports

standards

textbooks and teaching materials

transactions of TalTech

varia

title

author/supervisor/editor

structural unit

keyword

publication year

-

Sort by

Index

Vain, Jüri - supervisor

find full texts

items found: 28

1. Uppaali mudelite bisimilaarsuse verifitseerimine. Bisumulation Verifacation of Uppaal Models Alizai, Naveed Ahmed18.08.2020 master's theses
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 dissertations
3. Mudelipõhine PLC Tööstustarkvara Testimine. Model based testing of PLC Factory Automation Software Cizmecioglu, Eren05.06.2017 master's theses
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 bachelor's theses
5. Two State Space Reduction Techniques for Explicit State Model Checking.Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis Ernits, Juhan-Peep29.11.2007 dissertations
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 master's theses
7. Scenario Oriented Model-Based Testing. Stsenaariumjuhitud mudelipõhine testimine Halling, Evelin10.05.2019 dissertations
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 bachelor's theses
9. Hajustestri genereerimisalgoritmi optimeerimine ja implementeerimine. Optimisation and implementation of distributed tester generation algorithm Jakobson, Henri07.06.2022 bachelor's theses
10. Robotplatvorm loomuliku keele dialoogsüsteemidele. Robot Platform for Natural Language Dialogue Systems Kalmend, Oliver19.01.2017 master's theses
11. Model-Based Testing Framework for Autonomous Multi-Robot Systems. Mudelipõhine testimisraamistik autonoomsetele multirobotsüsteemidele Kanter, Gert03.07.2020 dissertations
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 bachelor's theses
13. Rakendus COLREGi verifitseerija sisendandmete genereerimiseks. Application for Generating Input Data for COLREG Verifier Kroon, Renee06.06.2025 master's theses
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 master's theses
15. Model-Based Testing of Reactive Systems. Reaktiivsete süsteemide mudelipõhine testimine Kull, Andres15.12.2009 dissertations
16. Aspekt-orienteeritud testimise efektiivsusanalüüs. Aspect oriented testing efficiency analysis Kurss, Johannes Olaf07.06.2021 bachelor's theses
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 master's theses
18. Ontoloogiate liitmine Prologis pehme unifitseerimise põhimõttel. Ontology Merging in Prolog Using the Principle of Soft Unification Kuusik, Norman03.06.2024 bachelor's theses
19. A Symbolic Approach to Model-based Online Testing. Mudelipõhine online-testimine kasutades sümbolarvutust Kääramees, Marko28.11.2012 dissertations
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 bachelor's theses
21. TTÜ linnaku mobiilse parkimise rakendus. TTÜ campus mobile parking application Peetsalu, Emil Roland11.06.2018 bachelor's theses
22. Testimiseesmärkide spetsifitseerimiskeele TDL(TP) interpretaatori implementeerimine. Implementation of an Interpreter for the Test Purpose Specification Language TDL(TP) Prikk, Tanel12.06.2019 bachelor's theses
23. Kuuelamu IGLUNA 3D simulatsioon Pung, Britta11.06.2019 bachelor's theses
24. Aspect-Oriented Model-Based Testing. Aspekt-orienteeritud mudeli-põhine testimine Sarna, Külli15.11.2018 dissertations
25. Mudelipõhine hajustestimine Tallinna infosüsteemi Teele näitel. Distributed Model-Based Testing of Tallinn City Information System Teele Sims, Kairit29.05.2020 master's theses

items found: 28

1
2
Next
Last

TalTech Digikogu