Application of high-level decision diagrams for simulation-based verification tasks
author
Jenihhin, Maksim
Raik, Jaan
Tšepurov, Anton
Ubar, Raimund-Johannes
statement of authorship
Maksim Jenihhin, Jaan Raik, Anton Chepurov and Raimund Ubar
source
Estonian journal of engineering
journal volume number month
Vol. 16
year of publication
2010
pages
1, p. 56-77 : ill
subject term
riistvara
verifikatsioon
kompuutersimulatsioon
otsustusdiagrammid
ISSN
1736-6038
notes
Bibliogr.: 23 ref
review
Kokkuvõte: Kõrgtaseme otsustusdiagrammide kasutamine simuleerimisel põhinevas riistvara verifitseerimisel
language
inglise