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
Rahvusbibliograafia
RB väljaanded
