Synthesis of on-line planning tester for non-deterministic EFSM models

vastutusandmed
Kääramees, Marko; Vain, Jüri; Raiend, Kullo/
allikas
Testing - Practice and Research Techniques : 5th International Academic and Industrial Conference TAIC PART 2010 : Windsor, UK, September 3-5, 2010 : proceedings
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 147-154
seeria-sari
Lecture notes in computer science ; 6303
konverentsi nimetus, aeg
Testing - Practice and Research Techniques : 5th International Academic and Industrial Conference TAIC PART 2010, September 3-5, 2010
konverentsi toimumispaik
Windsor, UK
ISSN
0302-9743
ISBN
978-3-642-15585-7
märkused
Bibliogr.: 8 ref
keel
inglise
Kääramees, M., Vain, J., Raiend, K. Synthesis of on-line planning tester for non-deterministic EFSM models // Testing - Practice and Research Techniques : 5th International Academic and Industrial Conference TAIC PART 2010 : Windsor, UK, September 3-5, 2010 : proceedings. Berlin : Springer, 2010. p. 147-154. (Lecture notes in computer science ; 6303).