PSL assertion checking with temporally extended high-level decision diagrams
author
Jenihhin, Maksim
Raik, Jaan
Tšepurov, Anton
Ubar, Raimund-Johannes
statement of authorship
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
source
Proceedings of the 9th IEEE Latin-American Test Workshop : LATW2008 : February 17-20, 2008, Puebla, Mexico
location of publication
[S.l.]
year of publication
2008
pages
p. 49-54 : ill
url
https://pld.ttu.ee/~maksim/phd_papers/%5B11%5D%20latw%2708.pdf
subject term
verifikatsioon
otsustusdiagrammid
notes
Bibliogr.: 19 ref
language
inglise