Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts)
author
Vain, Jüri
Raiend, Kullo
Kull, Andres
Ernits, Juhan-Peep
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
University of Oslo
year of publication
2007
pages
p. 55-57
ISBN
82-7368-324-9