Complete safety software testing : a formal method

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.

Bibliographic Details
Main Author: Lunglhofer, Jon R. (Jon Richard)
Other Authors: Michael W. Golay.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2014
Subjects:
Nuclear Engineering
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

Similar Items