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

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

items found: 26

1
2
Next
Last

TalTech Digikogu