|
|||||
|
|
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software |
|
| Authors: | Guillaume Brat Doron Drusinsky Dimitra Giannakopoulou Allen Goldberg Klaus Havelund Mike Lowry Corina Pasareanu Arnaud Venet Willem Visser Rich Washington |
| Affiliation: | 1. Kestrel Technology, NASA Ames Research Center, Moffett Field, CA, 94035, USA 2. Time-Rover, 11425 Charsan Ln., Cupertino, CA, 95014, USA 3. RIACS, NASA Ames Research Center, Moffett Field, CA, 94035, USA 4. Kestrel Technology, NASA Ames Research Center, Moffett Field, CA, 94035, USA 5. NASA Ames Research Center, Moffett Field, CA, 94035, USA 6. RIACS, NASA Ames Research Center, Moffett Field, CA, 94035, USA |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |