“Programming Languages and Safety-Related Systems”
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The emperor's old clothesPublished by Association for Computing Machinery (ACM) ,2007
- Adopting Cleanroom software engineering with a phased approachIBM Systems Journal, 1994
- The choice of computer languages for use in safety-critical systemsSoftware Engineering Journal, 1991
- Optimizing Preventive Service of Software ProductsIBM Journal of Research and Development, 1984