ETIS - Mudelikontrolli meetod kõrgtaseme otsustusdiagrammidel

Kirje

Taavi Viilukas, doktorikraad, 2012, (juh) Jaan Raik, Mudelikontrolli meetod kõrgtaseme otsustusdiagrammidel, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut.

Juhendajad

Jaan Raik

Juhendatav või välisjuhendatav Taavi Viilukas

Kraad

doktorikraad

Õpingute staatus

Kaitstud

Ekstern

Ei

Õpingute algus

21.08.2006

Kaitsmise aasta

2012

Keel

Eesti

Pealkiri originaalkeeles

Mudelikontrolli meetod kõrgtaseme otsustusdiagrammidel

Pealkiri inglise keeles

Täike juhul, kui originaalpealkiri ei ole inglise keeles. Kuvatakse inglisekeelses CVs originaalpealkirja järel sulgudes.

Model-checking methods using high-level decision diagrams

Asutus

Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut

Valdkonnad ja erialad

Valdkond	Alamvaldkond	CERCS eriala
4. Loodusteadused ja tehnika	4.6. Arvutiteadused	T120 Süsteemitehnoloogia, arvutitehnoloogia

Eesti Teadusinfosüsteem

Mudelikontrolli meetod kõrgtaseme otsustusdiagrammidel