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