Return to search

Complete safety software testing : a formal method

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1996. / Includes bibliographical references (p. 119-120). / by Jon R. Lunghofer. / M.S.

Identiferoai:union.ndltd.org:MIT/oai:dspace.mit.edu:1721.1/88311
Date January 1996
CreatorsLunglhofer, Jon R. (Jon Richard)
ContributorsMichael W. Golay., Massachusetts Institute of Technology. Department of Nuclear Engineering
PublisherMassachusetts Institute of Technology
Source SetsM.I.T. Theses and Dissertation
LanguageEnglish
Detected LanguageEnglish
TypeThesis
Format120 p., application/pdf
RightsM.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission., http://dspace.mit.edu/handle/1721.1/7582

Page generated in 0.0015 seconds