On the complete testing of simple safety-related software
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1994. === Includes bibliographical references (leaves 106-109). === by Kenneth E. Poorman. === M.S.
Main Author: | Poorman, Kenneth E. (Kenneth Earl), 1967- |
---|---|
Other Authors: | Massachusetts Institute of Technology. Dept. of Nuclear Engineering |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2007
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/36439 |
Similar Items
-
Complete safety software testing : a formal method
by: Lunglhofer, Jon R. (Jon Richard)
Published: (2014) -
Verification and validation of safety related software
by: Arno, Matthew G. (Matthew Gordon)
Published: (2006) -
Reliability quantification of nuclear safety-related software
by: Zhang, Yi, 1973-
Published: (2005) -
The Use of Software Faults in Software Reliability Assessment and Software Mutation Testing
by: Li, Xiang
Published: (2015) -
An integrated formal approach for developing reliable software of safety-critical system
by: Ouyang, Meng
Published: (2005)