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
real-time systems - märksõna
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 4
1.
Event-B ja Uppaali ajaga automaatide vahelise teisenduse realiseerimine. Implementation of Model Transformations Between Event-B and Uppaal Timed Automata
Jain, Shobit
18.01.2021
magistritööd
2.
Hajustestri genereerimisalgoritmi optimeerimine ja implementeerimine. Optimisation and implementation of distributed tester generation algorithm
Jakobson, Henri
07.06.2022
bakalaureusetööd
3.
System-Level Design of Timing-Sensitive Network-on-Chip Based Dependable Systems. Kiipvõrkudel põhinevate ajakriitiliste ja töökindlate süsteemide kõrgtaseme disain
Tagel, Mihkel
14.05.2012
doktoritööd
4.
Tools and techniques for event log analysis
Vaarandi, Risto
2005
doktoritööd
Kirjeid leitud: 4
1