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...

Full description

Bibliographic Details
Main Author: Weiss, Kathryn Anne, 1979-
Other Authors: Nancy G. Leveson.
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