Online testing of nondeterministic systems with the reactive planning tester
author
Vain, Jüri
Kääramees, Marko
Markvardt, Maili
statement of authorship
Jüri Vain, Marko Kääramees, Maili Markvardt
source
Dependability and computer engineering : concepts for software-intensive systems
location of publication
Hershey
publisher
Engineering Science Reference
year of publication
2012
pages
p. 113-150 : ill
ISBN
978-1-60960-747-0
notes
Bibliogr. p. 146-149
language
inglise