Documentation for safety critical software
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- ViewpointCommunications of the ACM, 1992
- The infeasibility of experimental quantification of life-critical software reliabilityPublished by Association for Computing Machinery (ACM) ,1991
- Evaluation of safety-critical softwareCommunications of the ACM, 1990
- On synchronization in hard-real-time systemsCommunications of the ACM, 1988
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980