TalTech publikatsioonid
pealdis Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J.
TTÜ struktuuriüksus arvutitehnika instituut
maakood ru
keel inglise
autor Jenihhin, Maksim
Raik, Jaan
Tšepurov, Anton
Ubar, Raimund-Johannes
pealkiri Simulation-based verification with APRICOT framework using high-level decision diagrams
vastutusandmed Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
allikas East-West Design & Test Symposium : Moscow, September 18-21, 2009
ilmumiskoht Moscow
ilmumisaasta 2009
leheküljed p. 13-16 : ill
märksõna digitaalelektroonika
otsustusdiagrammid
kompuutersimulatsioon
märkused Bibliogr.: 12 ref