TalTech publikatsioonid
pealdis Karputkin, A.
TTÜ struktuuriüksus arvutitehnika instituut
maakood ed
keel inglise
autor Karputkin, Anton
juhendaja Ubar, Raimund-Johannes
Tombak, Mati
Raik, Jaan
pealkiri Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel
vastutusandmed Anton Karputkin ; [supervisors: Raimund-Johannes Ubar, Mati Tombak, Jaan Raik]
dissertatsiooni liik doktoritöö
ülikool/teadusasutus Tallinna Tehnikaülikool
ilmumiskoht Tallinn
kirjastus/väljaandja TUT Press
ilmumisaasta 2012
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 digitaaltehnika
süsteemide modelleerimine
verifikatsioon
kompuutersimulatsioon
otsustusdiagrammid
vormimärksõna dissertatsioonid
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