Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts)
statement of authorship
J.Vain, K.Raiend, A.Kull, J.Ernits
source
NWTP'07/FLACOS'07 Workshop Proceedings : Oslo, 10-12 October 2007
location of publication
Oslo
publisher
year of publication
pages
p. 55-57
ISBN
82-7368-324-9
language
inglise
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.