Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis

Thesis (Ph. D.)--Massachusetts Institute of Technology, Engineering Systems Division, 2013.

Bibliographic Details
Main Author: Thomas, John P., IV
Other Authors: Nancy. G. Leveson.
Format: Thesis
Language:eng
Published: Massachusetts Institute of Technology 2013
Subjects:
Online Access:http://hdl.handle.net/1721.1/81055