prindi

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
Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J. Application of high-level decision diagrams for simulation-based verification tasks // Estonian journal of engineering (2010) Vol. 16, 1, p. 56-77 : ill.