Incorporating modern development and evaluation techniques into the creation of large-scale, spacecraft control software
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2006. === Includes bibliographical references (p. 165-172). === One of the major challenges facing the development of today's safety- and mission-critical space systems involves the construction of so...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2008
|
Subjects: | |
Online Access: | http://dspace.mit.edu/handle/1721.1/35591 http://hdl.handle.net/1721.1/35591 |