Validating requirements for fault tolerant systems using model checking /
Saved in:
Corporate Author: | |
---|---|
Other Authors: | |
Format: | Government Document Book |
Language: | English |
Published: |
Fairmont, W. Va. : [Washington, DC] : [Springfield, Va.] :
NASA IV & V Facility ; [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor],
[1997]
|
Series: | NASA contractor report ;
NASA CR-207043. |
Subjects: |