![](/img/cover-not-exists.png)
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Rich WashingtonVolume:
25
Language:
english
Pages:
32
DOI:
10.1023/b:form.0000040027.28662.a4
Date:
September, 2004
File:
PDF, 376 KB
english, 2004