Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
autor
juhendaja
vastutusandmed
Juhan-Peep Ernits ; [supervisor: Jüri Vain]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
123 p. : ill
seeria-sari
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 38
vormimärksõna
ISSN
1406-4731
ISBN
978-9985-59-736-1
märkused
Includes bibliogr. Thesis (Ph.D. in Engineering) : Tallinn University of Technology, 2007. Autori CV inglise ja eesti keeles, lk. 121-122. Kokkuvõte eesti keeles, lk. 6. Ka eestikeelne tiitelleht
Kättesaadav ka võrguteavikuna
TTÜ struktuuriüksus
keel
inglise
Ernits, J.-P. Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis. Tallinn : TUT Press, 2007. 123 p. : ill. (Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 38).