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
Kääramees, Marko - autor
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 5
1.
A Symbolic Approach to Model-based Online Testing. Mudelipõhine online-testimine kasutades sümbolarvutust
Kääramees, Marko
28.11.2012
doktoritööd
2.
Transforming specifications: step towards implementation
Kääramees, Marko
1994
uuringuaruanded
3.
Transforming designs towards implementations
Kääramees, Marko
1995
uuringuaruanded
4.
Transforming DC implementables into timed automata
Kääramees, Marko; Hansen, Michael R
1996
uuringuaruanded
5.
From design formulas to parallel implementations
Kääramees, Marko; Hansen, Michael R.
1997
uuringuaruanded
Kirjeid leitud: 5
1