Application of high-level decision diagrams for simulation-based verification tasks
autor
Jenihhin, Maksim
Raik, Jaan
Tšepurov, Anton
Ubar, Raimund-Johannes
vastutusandmed
Maksim Jenihhin, Jaan Raik, Anton Chepurov and Raimund Ubar
allikas
Estonian journal of engineering
ajakirja aastakäik number kuu
Vol. 16
ilmumisaasta
2010
leheküljed
1, p. 56-77 : ill
märksõna
riistvara
verifikatsioon
kompuutersimulatsioon
otsustusdiagrammid
ISSN
1736-6038
märkused
Bibliogr.: 23 ref
retsensioon
Kokkuvõte: Kõrgtaseme otsustusdiagrammide kasutamine simuleerimisel põhinevas riistvara verifitseerimisel
keel
inglise