An integrated formal approach for developing reliable software of safety-critical system
Name
34873132-MIT.pdf
Description
Full printable version
Size
14.06 MB
Format
Adobe PDF
Checksum (MD5)
76ae7850a4f4098f2fa474e494c89869
Author(s)
Ouyang, Meng
Advisor(s)
Michael W. Golay.
Date Issued
1995
Publisher
Massachusetts Institute of Technology
Description
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1995.
Includes bibliographical references (leaves 177-185).
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.
Persistent DSpace Link
