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
märksõna
süsteemid
testimine
süntees
ISBN
82-7368-324-9
keel
inglise