Software reliability during the transition from development to formal test
4th Computers in Aerospace Conference ; 1983 ; Hartford , CT , U.S.A.
1983-01-01
Conference paper
Electronic Resource
English
Reliability measurement during software development
AIAA | 1977
|The Knowledge-Based Software Assistant: A Formal, Object Oriented, Software Development Environment
British Library Conference Proceedings | 1996
|British Library Conference Proceedings | 1997
|British Library Online Contents | 1997
|Experience with a Formal Reliability Program
SAE Technical Papers | 1967
|