logo
E-väljaanne
TÄISTEKST TTÜ raamatkogu digikogus http://digi.lib.ttu.ee/i/?162
Autor
Ernits, Juhan, 1974-
Pealkiri
Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis / Juhan-Peep Ernits
Ilmumisandmed
Tallinn : Tallinn University of Technology Press, 2007 ([Tallinn] : Infotrükk)
Füüsiline kirjeldus
124 lk. : ill. ; 25 cm
Seeria pealkiri
Theses of Tallinn University of Technology. C, Thesis on information and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika, ISSN 1406-4731 ; 38
Tallinna Tehnikaülikooli väitekirjad. C ; 38
ISBN
9789985597361
Märkus
Doktoritöö : Tallinna Tehnikaülikool, 2007
Autori publikatsioonid lk. 120. - Bibliograafia lk. 111-119
Kokkuvõte eesti keeles
Täiendav kandja
Kättesaadav ka võrguteavikuna
Märksõnad
tarkvara; mudelid; verifikatsioon; kontroll; modelleerimine (teadus); dissertatsioonid
Kollektiivautorid
Tallinna Tehnikaülikool
UDK
004.415.53 (043)
Rööppealkiri
Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis