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.
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2005
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/11285 |