TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 

Vaadatud 1193 kord(a)
Alla laetud 112 kord(a) alates 1.01.2018

(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