prindi

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

autor
Kääramees, Marko
Vain, Jüri
Raiend, Kullo
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
Springer
ilmumisaasta
2010
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
leitav
https://link.springer.com/chapter/10.1007/978-3-642-15585-7_14
märksõna
algoritmid
mudelid
testimine
süntees
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). https://link.springer.com/chapter/10.1007/978-3-642-15585-7_14