(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 |
Arvutitehnika instituut
Department of Computer Engineering |
| Õppetool |
Arvutitehnika ja -diagnostika õppetool
Chair of Computer Engineering and Diagnostics |
|
