A symbolic approach to model-based online testing = Mudelipõhine online-testimine kasutades sümbolarvutust

juhendaja
Hansen, Michael Reichhardt
vastutusandmed
Marko Kääramees
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
216 p. : ill
seeria-sari
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 79
vormimärksõna
ISSN
1406-4731
ISBN
978-9949-23-386-1
978-9949-23-387-8 (pdf)
märkused
Includes bibliogr
Autori CV inglise ja eesti keeles, lk. 205-211
Kokkuvõte eesti keeles, lk. 7
Thesis (Ph.D. in Computer Science) : Tallinn University of Technology, 2012
Ka eestikeelse tiitellehega
TTÜ struktuuriüksus
keel
inglise
Kääramees, M. A symbolic approach to model-based online testing = Mudelipõhine online-testimine kasutades sümbolarvutust. Tallinn : TUT Press, 2012. 216 p. : ill. (Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 79). http://www.ester.ee/record=b2890159*est