Searching for "Experimental Evaluation of Verification and Validation Tools on Martian Rover Software." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
by Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Rich Washington — 2003 — Formal Methods in System Design
…Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume…
Cited by 9 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB