Online testing of nondeterministic systems with the reactive planning tester
autor
Vain, Jüri
Kääramees, Marko
Markvardt, Maili
vastutusandmed
Jüri Vain, Marko Kääramees, Maili Markvardt
allikas
Dependability and computer engineering : concepts for software-intensive systems
ilmumiskoht
Hershey
kirjastus/väljaandja
Engineering Science Reference
ilmumisaasta
2012
leheküljed
p. 113-150 : ill
ISBN
978-1-60960-747-0
märkused
Bibliogr. p. 146-149
keel
inglise