Verification of an axiomatic requirements specification
Computers in Aerospace Conference ; 1977 ; Los Angeles , CA , U.S.A.
1977-01-01
Conference paper
Electronic Resource
English
Axiomatic requirements engineering - an approach based on general system theory
Tema Archive | 1978
|APOLLO : system requirements specification
TIBKAT | 1984
General Environmental Verification Specification
NTIS | 2003
|General Environmental Verification Specification
NTRS | 2003
|British Library Online Contents | 2006
|