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
formal methods - märksõna
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 4
1.
Methods to Optimize Functional Safety Assessment for Automotive Integrated Circuits. Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks
Bağbaba, Ahmet Çağrı
20.04.2022
doktoritööd
2.
Scheduling in real-time models
Kurki-Suonio, Reino; Systä, Kari; Vain, Jüri
1992
uuringuaruanded
3.
Models for Monitoring of Technological Processes and Production Systems. Tehnoloogiliste protsesside ja tootmissüsteemide monitooringu mudelid
Otto, Tauno
31.08.2006
doktoritööd
4.
Model-Based Testing of Real-Time Distributed Systems. Reaalaja hajussüsteemide mudelipõhine testimine
Pal, Deepak
10.12.2020
doktoritööd
Kirjeid leitud: 4
1