Temporally extended high-level decision diagrams for PSL assertions simulation
statement of authorship
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
source
Proceedings : Thirteenth IEEE European Test Symposium : ETS 2008 : 25-29 May 2008, Verbania, Italy
location of publication
Los Alamitos
publisher
year of publication
pages
p. 61-68 : ill
subject term
ISBN
978-0-7695-3150-2
notes
Bibliogr.: 15 ref
language
inglise
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.