共 50 条
- [1] Formal verification for a next-generation space shuttle [J]. FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2003, 2699 : 53 - 67
- [3] Plans for space shuttle successor [J]. AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 2006, 78 (02): : 156 - 156
- [6] Loon SDN: Applicability to NASA's Next-Generation Space Communications Architecture [J]. 2018 IEEE AEROSPACE CONFERENCE, 2018,
- [7] NASA defends its plans for replacing space shuttle [J]. AVIATION WEEK & SPACE TECHNOLOGY, 2002, 156 (16): : 28 - 28