Validating requirements for fault tolerant systems using model checking [microform] / Francis Schneider [and others]

Saved in:

Bibliographic Details
Corporate Author:	United States. National Aeronautics and Space Administration
Other Authors:	Schneider, Francis
Format:	Government Document Microfilm 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. NASA-IVV ; 97-014.
Subjects:	Fault tolerance. Functional design specifications. Spacecraft control. Error detection codes. Protocol (Computers) Temporal logic.

Norlin Library - Government Information - Microform

Holdings details from Norlin Library - Government Information - Microform
Call Number:	NAS 1.26:207043
NAS 1.26:207043	Restricted Place a Hold