Test purpose directed reactive planning tester for nondeterministic systems

Vain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan P. (2007). Test purpose directed reactive planning tester for nondeterministic systems. NWPT'07/FLACOS'07 Workshop Proceedings : October 9-12, 2007, Oslo, Norway. Ed. Johnsen, E. B.; Owe, O.; Schneider, G. Oslo: University of Oslo, 55−57. (Research Report; 366).
publitseeritud konverentsiettekanne
Vain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan P.
  • Inglise
NWPT'07/FLACOS'07 Workshop Proceedings : October 9-12, 2007, Oslo, Norway
Johnsen, E. B.; Owe, O.; Schneider, G.
Oslo
University of Oslo
0806-3036
82-7368-324-9
Research Report
366
2007
5557
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes