Synthesis of on-line planning tester for non-deterministic EFSM models
statement of authorship
Kääramees, Marko; Vain, Jüri; Raiend, Kullo/
source
Testing - Practice and Research Techniques : 5th International Academic and Industrial Conference TAIC PART 2010 : Windsor, UK, September 3-5, 2010 : proceedings
location of publication
Berlin
publisher
year of publication
pages
p. 147-154
series
Lecture notes in computer science ; 6303
conference name, date
Testing - Practice and Research Techniques : 5th International Academic and Industrial Conference TAIC PART 2010, September 3-5, 2010
conference location
Windsor, UK
ISSN
0302-9743
ISBN
978-3-642-15585-7
notes
Bibliogr.: 8 ref
language
inglise
subject term
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).