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.
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/88311 |
id |
ndltd-MIT-oai-dspace.mit.edu-1721.1-88311 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-MIT-oai-dspace.mit.edu-1721.1-883112019-05-02T16:34:20Z Complete safety software testing : a formal method Lunglhofer, Jon R. (Jon Richard) Michael W. Golay. Massachusetts Institute of Technology. Department of Nuclear Engineering Nuclear Engineering Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1996. Includes bibliographical references (p. 119-120). by Jon R. Lunghofer. M.S. 2014-07-11T21:02:33Z 2014-07-11T21:02:33Z 1996 1996 Thesis http://hdl.handle.net/1721.1/88311 35127053 eng 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 120 p. application/pdf Massachusetts Institute of Technology |
collection |
NDLTD |
language |
English |
format |
Others
|
sources |
NDLTD |
topic |
Nuclear Engineering |
spellingShingle |
Nuclear Engineering Lunglhofer, Jon R. (Jon Richard) Complete safety software testing : a formal method |
description |
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1996. === Includes bibliographical references (p. 119-120). === by Jon R. Lunghofer. === M.S. |
author2 |
Michael W. Golay. |
author_facet |
Michael W. Golay. Lunglhofer, Jon R. (Jon Richard) |
author |
Lunglhofer, Jon R. (Jon Richard) |
author_sort |
Lunglhofer, Jon R. (Jon Richard) |
title |
Complete safety software testing : a formal method |
title_short |
Complete safety software testing : a formal method |
title_full |
Complete safety software testing : a formal method |
title_fullStr |
Complete safety software testing : a formal method |
title_full_unstemmed |
Complete safety software testing : a formal method |
title_sort |
complete safety software testing : a formal method |
publisher |
Massachusetts Institute of Technology |
publishDate |
2014 |
url |
http://hdl.handle.net/1721.1/88311 |
work_keys_str_mv |
AT lunglhoferjonrjonrichard completesafetysoftwaretestingaformalmethod |
_version_ |
1719043162806157312 |