FORMAL METHODS AND SOFTWARE SAFETY
- 1 January 1992
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Existing and emerging standards for software safetyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- SACEM software validationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Achieving high integrity of process control software by graphical design and formal verificationSoftware Engineering Journal, 1992
- A calculus of durationsInformation Processing Letters, 1991
- The infeasibility of experimental quantification of life-critical software reliabilityPublished by Association for Computing Machinery (ACM) ,1991
- An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming LanguagePublished by Springer Nature ,1990