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