TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 


(3.6 MB)

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