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