Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
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
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
Index
Vain, Jüri - supervisor
find full texts
Apply
items found: 18
1.
Uppaali mudelite bisimilaarsuse verifitseerimine. Bisumulation Verifacation of Uppaal Models
Alizai, Naveed Ahmed
18.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, Aivo
30.08.2016
dissertations
3.
Mudelipõhine PLC Tööstustarkvara Testimine. Model based testing of PLC Factory Automation Software
Cizmecioglu, Eren
05.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, Siim
11.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-Peep
29.11.2007
dissertations
6.
Scenario Oriented Model-Based Testing. Stsenaariumjuhitud mudelipõhine testimine
Halling, Evelin
10.05.2019
dissertations
7.
Robotplatvorm loomuliku keele dialoogsüsteemidele. Robot Platform for Natural Language Dialogue Systems
Kalmend, Oliver
19.01.2017
master's theses
8.
Model-Based Testing Framework for Autonomous Multi-Robot Systems. Mudelipõhine testimisraamistik autonoomsetele multirobotsüsteemidele
Kanter, Gert
03.07.2020
dissertations
9.
Kuu habitaadi energiakasutuse reeglipõhine juhtimine mittetäieliku informatsiooni tingimustes. Rule-based Control of the Space Habitat Under the Conditions of Incomplete Information
Kasesalu, Merlin
09.06.2020
bachelor's theses
10.
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, Age
07.06.2016
master's theses
11.
Model-Based Testing of Reactive Systems. Reaktiivsete süsteemide mudelipõhine testimine
Kull, Andres
15.12.2009
dissertations
12.
A Symbolic Approach to Model-based Online Testing. Mudelipõhine online-testimine kasutades sümbolarvutust
Kääramees, Marko
28.11.2012
dissertations
13.
TTÜ linnaku mobiilse parkimise rakendus. TTÜ campus mobile parking application
Peetsalu, Emil Roland
11.06.2018
bachelor's theses
14.
Kuuelamu IGLUNA 3D simulatsioon
Pung, Britta
11.06.2019
bachelor's theses
15.
Aspect-Oriented Model-Based Testing. Aspekt-orienteeritud mudeli-põhine testimine
Sarna, Külli
15.11.2018
dissertations
16.
Mudelipõhine hajustestimine Tallinna infosüsteemi Teele näitel. Distributed Model-Based Testing of Tallinn City Information System Teele
Sims, Kairit
29.05.2020
master's theses
17.
TTÜ Mektory nanosatelliidi tarkvara testide tõestatavalt korrektne arendus. Provably Correct Test Development for TUT Mektory Nanosatellite Software
Singh, Madhushree
30.05.2018
master's theses
18.
Kaugloetavate elektriarvestite IKT riskianalüüs. ICT Risk Assessment of Smart Electricity Meters
Till, Eerik
10.06.2014
master's theses
items found: 18
1