Online testing of nondeterministic systems with the reactive planning tester
Vain, Jüri
;
Kääramees, Marko
;
Markvardt, Maili
Dependability and computer engineering : concepts for software-intensive systems
2012
/
p. 113-150 : ill
https://www.igi-global.com/chapter/online-testing-nondeterministic-systems-reactive/55327