Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel
autor
juhendaja
vastutusandmed
Anton Karputkin ; [supervisors: Raimund-Johannes Ubar, Mati Tombak, Jaan Raik]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
126 p
seeria-sari
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 76
märksõna
vormimärksõna
ISSN
1406-4731
ISBN
978-9949-23-333-5
978-9949-23-334-2(pdf)
märkused
Includes bibliogr
Thesis (Ph.D. in Computer and Systems Engineering) : Tallinn University of Technology, 2012
Autori CV inglise ja eesti keeles, lk. 121-123
Kokkuvõte eesti keeles
Ka eestikeelse tiitellehega
TTÜ struktuuriüksus
keel
inglise
Karputkin, A. Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel. Tallinn : TUT Press, 2012. 126 p. (Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 76).