Experiences using formal methods for requirements modeling [microform] / by Steve Easterbrook [and others]

Saved in:

Bibliographic Details
Corporate Author:	United States. National Aeronautics and Space Administration
Other Authors:	Easterbrook, S. M. (Steven Michael), 1965-
Format:	Government Document Microfilm Book
Language:	English
Published:	[Washington, DC] : [Springfield, Va.] : National Aeronautics and Space Administration ; [National Technical Information Service, distributor], [1996]
Series:	NASA contractor report ; NASA-CR-203085. Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ; NASA-IVV-96-018.
Subjects:	Software engineering. Requirements. Program verification (Computers) Software reliability. Fault detection.

Internet

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