Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel
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
year of publication
pages
126 p
series
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 76
subject term
subject of form
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
TTÜ department
language
inglise
Karputkin, A. Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel. Tallinn : TUT Press, 2012. 126 p. (Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 76).