Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel

autor
Karputkin, Anton
juhendaja
autor juhendaja
autor juhendaja
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
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
TTÜ struktuuriüksus
arvutitehnika instituut
keel
inglise