Simulation-based verification with APRICOT framework using high-level decision diagrams
author
Jenihhin, Maksim
Raik, Jaan
Tšepurov, Anton
Ubar, Raimund-Johannes
statement of authorship
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
source
East-West Design & Test Symposium : Moscow, September 18-21, 2009
location of publication
Moscow
year of publication
2009
pages
p. 13-16 : ill
subject term
digitaalelektroonika
otsustusdiagrammid
kompuutersimulatsioon
notes
Bibliogr.: 12 ref
TTÜ department
arvutitehnika instituut
language
inglise