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
ilmumisaasta
leheküljed
p. 55-57
ISBN
82-7368-324-9
Vain, J., Raiend, K., Kull, A., Ernits, J.-P. Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts) // NWTP'07/FLACOS'07 Workshop Proceedings : Oslo, 10-12 October 2007. Oslo : University of Oslo, 2007. p. 55-57.