Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. MIT Libraries
  3. MIT Theses
  4. Graduate Theses
  5. Complete safety software testing : a formal method

Complete safety software testing : a formal method

Thumbnail Image
Download
Name

35127053-MIT.pdf

Description
Full printable version
Size

5.43 MB

Format

Adobe PDF

Checksum (MD5)

336a1dbf844b5361016476d1b07f21d3

Author(s)
Lunglhofer, Jon R. (Jon Richard)
Advisor(s)
Michael W. Golay.
Date Issued
1996
Publisher
Massachusetts Institute of Technology
Description
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1996.
Includes bibliographical references (p. 119-120).
Subjects
Nuclear Engineering
MIT Department
Massachusetts Institute of Technology. Department of Nuclear Engineering
Massachusetts Institute of Technology. Department of Nuclear Science and Engineering
Terms of Use
M.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
Persistent DSpace Link
http://hdl.handle.net/1721.1/88311
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.