Simulation-based verification with APRICOT framework using high-level decision diagrams
vastutusandmed
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
ilmumiskoht
Moscow
ilmumisaasta
leheküljed
p. 13-16 : ill
märkused
Bibliogr.: 12 ref
TTÜ struktuuriüksus
keel
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.