Temporally extended high-level decision diagrams for PSL assertions simulation
autor
Jenihhin, Maksim
Raik, Jaan
Tšepurov, Anton
Ubar, Raimund-Johannes
vastutusandmed
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
allikas
Proceedings : Thirteenth IEEE European Test Symposium : ETS 2008 : 25-29 May 2008, Verbania, Italy
ilmumiskoht
Los Alamitos
kirjastus/väljaandja
IEEE Computer Society
ilmumisaasta
2008
leheküljed
p. 61-68 : ill
leitav
https://ieeexplore.ieee.org/document/4556029
märksõna
modelleerimine (teadus)
testimine
kompuutersimulatsioon
riistvara
otsustusdiagrammid
tarkvara
programmeerimiskeeled
ISBN
978-0-7695-3150-2
märkused
Bibliogr.: 15 ref
keel
inglise