TalTech publikatsioonid
pealdis Vain, J., Raiend, K., Kull, A., Ernits, J.-P.
maakood no
autor Vain, Jüri
Raiend, Kullo
Kull, Andres
Ernits, Juhan-Peep
pealkiri Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts)
vastutusandmed J.Vain, K.Raiend, A.Kull, J.Ernits
allikas NWTP'07/FLACOS'07 Workshop Proceedings : Oslo, 10-12 October 2007
ilmumiskoht Oslo
kirjastus/väljaandja University of Oslo
ilmumisaasta 2007
leheküljed p. 55-57
ISBN 82-7368-324-9