Vain, J., Raiend, K., Kull, A., Ernits, J.-P.

täiskirje prindi

Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts)

autor

Vain, Jüri

Raiend, Kullo

Kull, Andres

Ernits, Juhan-Peep

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

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.