See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

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
ValdkondAlamvaldkondCERCS eriala
4. Loodusteadused ja tehnika4.6. ArvutiteadusedT120 Süsteemitehnoloogia, arvutitehnoloogia