Title :
Completeness, Robustness, And Safety In Real-time Software Requirements Specification
Author :
Jaffe, Matthew S. ; Leveson, Nczncy G.
Author_Institution :
Hughes Aircraft Company
Keywords :
Aircraft; Computer errors; Computer science; Permission; Production; Robustness; Software engineering; Software safety; Software testing; Timing;
Conference_Titel :
Software Engineering, 1989. 11th International Conference on
Print_ISBN :
0-8186-8941-2
DOI :
10.1109/ICSE.1989.714438
