Reliability improvement and assessment of safety critical software
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.
Main Author: | Sui, Yu, 1973- |
---|---|
Other Authors: | Michael W. Golay and Daniel Jackson. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2009
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/47688 |
Similar Items
-
An integrated formal approach for developing reliable software of safety-critical system
by: Ouyang, Meng
Published: (2005) -
An application of nonlinear resistive networks in computer vision
by: Chen, Bikui, 1973-
Published: (2014) -
Reliability quantification of nuclear safety-related software
by: Zhang, Yi
Published: (2005) -
The effects of voting algorithms on N-version software reliability
by: Greeley, Gregory L. (Gregory Lawrence)
Published: (2005) -
Actor-critic algorithms
by: Konda, Vijaymohan (Vijaymohan Gao), 1973-
Published: (2005)