pealkiri
Formal Verification and Error Correction on High-Level Decision Diagrams
Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel
autor
Karputkin, Anton
märksõnad
kõrgtaseme otsustusdiagrammid
formaalne verifitseerimine
vigade parandamine
ekvivalentsuskontroll
dissertatsioonid
high-level decision diagrams
formal verification
automated error correction
equivalence checking
dissertations
väljaandja
TUT Press
juhendaja
Ubar, Raimund-Johannes
Tombak, Mati
Raik, Jaan
kaitsmiskuupäev
23.08.2012
identifikaator
ISBN 9789949233335 (publication)
ISBN 9789949233342 (pdf)
ISSN 14064731
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
Faculty of Information Technology
instituut / kolledž
Arvutitehnika instituut
Department of Computer Engineering
allüksus
Arvutitehnika ja -diagnostika õppetool
Chair of Computer Engineering and Diagnostics