Formal methods in safety-critical standards
- 31 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- The industrial use of formal methodsMicroprocessors and Microsystems, 1993
- Computer software in civil aircraftMicroprocessors and Microsystems, 1993
- Standardization efforts worldwidePublished by Elsevier ,1993
- Standards for Non-Executable Specification LanguagesThe Computer Journal, 1992
- Formal methods for software engineers: Tradeoffs in curriculum designPublished by Springer Nature ,1992
- What is the future of software engineering standards?ACM SIGSOFT Software Engineering Notes, 1992
- Illustrative risks to the public in the use of computer systems and related technologyACM SIGSOFT Software Engineering Notes, 1992
- Software safety in embedded computer systemsCommunications of the ACM, 1991
- Software technology transferSoftware Engineering Journal, 1991
- Rationale for the development of the UK defence standards for safety-critical computer softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990