Mudelikontrolli meetod kõrgtaseme otsustusdiagrammidel

Taavi Viilukas, doktorikraad, 2012, (juh) Jaan Raik, Mudelikontrolli meetod kõrgtaseme otsustusdiagrammidel, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut.
Taavi Viilukas
doktorikraad
Kaitstud
Ei
21.08.2006
2012
Eesti
Mudelikontrolli meetod kõrgtaseme otsustusdiagrammidel
Model-checking methods using high-level decision diagrams
ETIS klassifikaatorAlamvaldkondCERCS klassifikaator
4. Loodusteadused ja tehnika4.6. ArvutiteadusedT120 Süsteemitehnoloogia, arvutitehnoloogia