2026-09-21T06:44:55Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/112852022-01-26T18:17:31Zcom_1721.1_7582com_1721.1_7581col_1721.1_131022
Michael W. Golay.
Ouyang, Meng
Massachusetts Institute of Technology. Department of Nuclear Engineering
Massachusetts Institute of Technology. Department of Nuclear Science and Engineering
2005-08-18T12:00:00Z
2005-08-18T12:00:00Z
1995
1995
http://hdl.handle.net/1721.1/11285
34873132
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1995.
Includes bibliographical references (leaves 177-185).
by Meng Ouyang.
Ph.D.
195 leaves
14745934 bytes
14745690 bytes
application/pdf
application/pdf
eng
Massachusetts Institute of Technology
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
Nuclear Engineering
An integrated formal approach for developing reliable software of safety-critical system
Thesis
application/pdf
false
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="bd470eee-0a5f-4abd-9f2e-c3158126f161">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Language>eng</Language>
<Title>An integrated formal approach for developing reliable software of safety-critical system</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>1995</PublicationDate>
<Authors>
<Author>
<DisplayName>Ouyang, Meng</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>http://dspace.mit.edu/handle/1721.1/7582</License>
<Keyword>Nuclear Engineering</Keyword>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>