An integrated formal approach for developing reliable software of safety-critical system

An integrated formal approach for developing reliable software of safety-critical system

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1995. === Includes bibliographical references (leaves 177-185). === by Meng Ouyang. === Ph.D.

Bibliographic Details
Main Author: Ouyang, Meng
Other Authors: Michael W. Golay.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2005
Subjects:
Nuclear Engineering
Online Access:http://hdl.handle.net/1721.1/11285

Internet

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

Similar Items