On the complete testing of simple safety-related software
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1994.
Main Author: | Poorman, Kenneth E. (Kenneth Earl), 1967- |
---|---|
Other Authors: | Massachusetts Institute of Technology. Department of Nuclear Engineering |
Format: | Thesis |
Language: | eng |
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
Published: (2005) -
An integrated formal approach for developing reliable software of safety-critical system
by: Ouyang, Meng
Published: (2005) -
Reliability improvement and assessment of safety critical software
by: Sui, Yu, 1973-
Published: (2009)