Temporally extended high-level decision diagrams for PSL assertions simulation

vastutusandmed
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
allikas
Proceedings : Thirteenth IEEE European Test Symposium : ETS 2008 : 25-29 May 2008, Verbania, Italy
ilmumiskoht
Los Alamitos
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 61-68 : ill
ISBN
978-0-7695-3150-2
märkused
Bibliogr.: 15 ref
Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J. Temporally extended high-level decision diagrams for PSL assertions simulation // Proceedings : Thirteenth IEEE European Test Symposium : ETS 2008 : 25-29 May 2008, Verbania, Italy. Los Alamitos : IEEE Computer Society, 2008. p. 61-68 : ill.