Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel

author
Karputkin, Anton
supervisor
author supervisor
author supervisor
author supervisor
statement of authorship
Anton Karputkin ; [supervisors: Raimund-Johannes Ubar, Mati Tombak, Jaan Raik]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
TUT Press
year of publication
2012
pages
126 p
series
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 76
subject term
digitaaltehnika
süsteemide modelleerimine
verifikatsioon
kompuutersimulatsioon
otsustusdiagrammid
subject of form
dissertatsioonid
ISSN
1406-4731
ISBN
978-9949-23-333-5
978-9949-23-334-2(pdf)
notes
Includes bibliogr
Thesis (Ph.D. in Computer and Systems Engineering) : Tallinn University of Technology, 2012
Autori CV inglise ja eesti keeles, lk. 121-123
Kokkuvõte eesti keeles
Ka eestikeelse tiitellehega
TalTech department
arvutitehnika instituut
language
inglise