Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
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
autor A-Z
autor Z-A
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri A-Z
pealkiri Z-A
Register
timed automata - märksõna
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 5
1.
Co-Design of Wireless Networked Control Systems: Model-based Architecture and Joint Optimization. Juhtmevabade võrgustatud juhtimissüsteemide koosdisain: mudelipõhine arhitektuur ja ühisoptimeerimine
Ashraf, Kanwal
17.06.2024
doktoritööd
2.
Hajustestri genereerimisalgoritmi optimeerimine ja implementeerimine. Optimisation and implementation of distributed tester generation algorithm
Jakobson, Henri
07.06.2022
bakalaureusetööd
3.
Robotsüsteemide olekuautomaatide õppimine mudelipõhiseks testimiseks. Robotic System Automata Learning for Model-Based Testing
Liibert, Marti Ingmar
10.06.2020
bakalaureusetööd
4.
Testimiseesmärkide spetsifitseerimiskeele TDL(TP) interpretaatori implementeerimine. Implementation of an Interpreter for the Test Purpose Specification Language TDL(TP)
Prikk, Tanel
12.06.2019
bakalaureusetööd
5.
Ajaga automaatide veebipõhine modelleerimiskeskkond. Web-Based Modelling Environment for Timed Automata
Pukk, Jürgo; Sams, Siim; Tõnisson, Jonas
09.06.2021
bakalaureusetööd
Kirjeid leitud: 5
1