Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
author
Ernits, Juhan-Peep
supervisor
Vain, Jüri
author
supervisor
statement of authorship
Juhan-Peep Ernits ; [supervisor: Jüri Vain]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
TUT Press
year of publication
2007
pages
123 p. : ill
series
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 38
subject term
tarkvara
mudelid
verifikatsioon
kontroll
modelleerimine (teadus)
subject of form
dissertatsioonid
ISSN
1406-4731
ISBN
978-9985-59-736-1
notes
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
url
https://digi.lib.ttu.ee/i/?162
TTÜ department
arvutiteaduse instituut
TTÜ Küberneetika Instituut
language
inglise