| タイトル | V and V of a Spacecraft's Autonomous Planner through Extended Automation |
| 著者（英） | Smith, Ben; Feather, Martin S. |
| 著者所属（英） | Jet Propulsion Lab., California Inst. of Tech. |
| 発行日 | 1999-06-01 |
| 言語 | eng |
| 内容記述 | We have introduced and used significant automation during the verification and validation (V&V) of a spacecraft's autonomous planner. This paper describes the problem we faced, the solution we employed, and the applicability of our approach in a general V&V setting. |
| NASA分類 | Computer Programming and Software |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/540034 |
