Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J.

täiskirje 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

ISSN

1736-6038

märkused

Bibliogr.: 23 ref

retsensioon

Kokkuvõte: Kõrgtaseme otsustusdiagrammide kasutamine simuleerimisel põhinevas riistvara verifitseerimisel

keel

inglise

Märksõnad ja võtmesõnad

märksõna

riistvara

verifikatsioon

kompuutersimulatsioon

otsustusdiagrammid

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.