Simulation-based verification with APRICOT framework using high-level decision diagrams
statement of authorship
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
location of publication
Moscow
year of publication
pages
p. 13-16 : ill
notes
Bibliogr.: 12 ref
TTÜ department
language
inglise
Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J. Simulation-based verification with APRICOT framework using high-level decision diagrams // East-West Design & Test Symposium : Moscow, September 18-21, 2009. Moscow, 2009. p. 13-16 : ill.