Experimental Evaluation of Verification and Validation Tools on Martian Rover Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington. Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design, 25(2-3):167-198, 2004. [doi]

This author has not been identified. Look up 'Guillaume P. Brat' in GoogleThis author has not been identified. Look up 'Doron Drusinsky' in GoogleThis author has not been identified. Look up 'Dimitra Giannakopoulou' in GoogleThis author has not been identified. Look up 'Allen Goldberg' in GoogleThis author has not been identified. It may be one of the following persons:

Klaus Havelund

Look up 'Klaus Havelund' in GoogleThis author has not been identified. Look up 'Michael R. Lowry' in GoogleThis author has not been identified. Look up 'Corina S. Pasareanu' in GoogleThis author has not been identified. Look up 'Arnaud Venet' in GoogleThis author has not been identified. Look up 'Willem Visser' in GoogleThis author has not been identified. Look up 'Richard Washington' in Google

runs on WebDSL