TalTech publikatsioonid
pealdis Jenihhin, M.
TTÜ struktuuriüksus arvutitehnika instituut
maakood ed
keel inglise
autor Jenihhin, Maksim
juhendaja Raik, Jaan
Ubar, Raimund-Johannes
pealkiri Simulation-based hardware verification with high-level decision diagrams = Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel
vastutusandmed Maksim Jenihhin ; [supervisors: Jaan Raik, Raimund Ubar]
dissertatsiooni liik doktoritöö
ülikool/teadusasutus Tallinna Tehnikaülikool
ilmumiskoht Tallinn
kirjastus/väljaandja TUT Press
ilmumisaasta 2008
leheküljed 137 p. : ill
seeria-sari Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika, 1406-4731 ; 42
märksõna riistvara
verifikatsioon
kompuutersimulatsioon
vormimärksõna dissertatsioonid
ISBN 978-9985-59-863-4
märkused Includes bibliogr. Thesis (Ph.D. in Computer and System Engineering) : Tallinn University of Technology, 2008. Autori CV eesti ja inglise keeles lk. 131-134. Kokkuvõte eesti keeles, lk. ix. Ka eestikeelse tiitellehega
Kättesaadav ka võrguteavikuna
Võrguteavik oli 2009. a. Eesti üliõpilaste teadustööde riikliku konkursi esimene preemia doktoriõppe üliõpilaste astmes
url https://www.ester.ee/record=b2431332*est