prindi

PSL assertion checking using temporally extended high-level decision diagrams

autor
Jenihhin, Maksim
Raik, Jaan
Tšepurov, Anton
Ubar, Raimund-Johannes
vastutusandmed
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
allikas
Journal of electronic testing : theory and applications
ajakirja aastakäik number kuu
25
ilmumisaasta
2009
leheküljed
6, p. 289-300 : ill
leitav
https://pld.ttu.ee/home/maksim/phd_papers/%5B11%5D%20latw%2708.pdf
märksõna
verifikatsioon
otsustusdiagrammid
ISSN
0923-8174
märkused
Bibliogr.: 23 ref
keel
inglise
Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J. PSL assertion checking using temporally extended high-level decision diagrams // Journal of electronic testing : theory and applications (2009) 25, 6, p. 289-300 : ill. https://pld.ttu.ee/home/maksim/phd_papers/%5B11%5D%20latw%2708.pdf