title
Formal Verification and Error Correction on High-Level Decision Diagrams
Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel
author
Karputkin, Anton
keywords
kõrgtaseme otsustusdiagrammid
formaalne verifitseerimine
vigade parandamine
ekvivalentsuskontroll
dissertatsioonid
high-level decision diagrams
formal verification
automated error correction
equivalence checking
dissertations
publisher
TUT Press
supervisor
Ubar, Raimund-Johannes
Tombak, Mati
Raik, Jaan
defence date
23.08.2012
identifier
ISBN 9789949233335 (publication)
ISBN 9789949233342 (pdf)
ISSN 14064731
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
Faculty of Information Technology
department / college
Arvutitehnika instituut
Department of Computer Engineering
subunit
Arvutitehnika ja -diagnostika õppetool
Chair of Computer Engineering and Diagnostics