TalTech publikatsioonid
pealdis Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J.
maakood cn
autor Jenihhin, Maksim
Raik, Jaan
Tšepurov, Anton
Ubar, Raimund-Johannes
pealkiri Assertion checking with PSL and high-level decision diagrams
vastutusandmed Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
allikas Digest of papers IEEE 8th Workshop on RTL and High Level Testing : WRTLT'07 : October 12-13, 2007, Beijing, China
ilmumiskoht [Beijing]
ilmumisaasta [2007]
leheküljed p. 105-110 : ill
märkused Bibliogr.: 17 ref