论文信息 - Autonomy in Deep Space Spacecraft and its Verification and Validation - 字舞流文

Autonomy in Deep Space Spacecraft and its Verification and Validation

Ichiro Nakatani | Keiki Takadama

[1] D. L. Simms,et al. Normal Accidents: Living with High-Risk Technologies , 1986 .

[2] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[3] Michael R. Lowry,et al. Analytic Verification of Flight Software , 1998, IEEE Intell. Syst..

[4] Alun Preece,et al. State of the art in automated validation of knowledge-based systems☆ , 1994 .

[5] Philippe Schnoebelen,et al. Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .

[6] Richard J. Doyle. Guest Editor's Introduction: Spacecraft Autonomy and the Missions of Exploration , 1998, IEEE Intell. Syst..