Complete safety software testing : a formal method
Author(s)
Lunglhofer, Jon R. (Jon Richard)
DownloadFull printable version (5.434Mb)
Advisor
Michael W. Golay.
Terms of use
Metadata
Show full item recordDescription
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1996. Includes bibliographical references (p. 119-120).
Date issued
1996Department
Massachusetts Institute of Technology. Department of Nuclear Engineering; Massachusetts Institute of Technology. Department of Nuclear Science and EngineeringPublisher
Massachusetts Institute of Technology
Keywords
Nuclear Engineering