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

Internet

http://hdl.handle.net/1721.1/88311

Similar Items