Verifying stability of dynamic soft-computing systems [microform] / by Wu Wen, John Callahan and Marcello Napolitano.

Saved in:

Bibliographic Details
Main Author:	Wen, Wu
Corporate Author:	United States. National Aeronautics and Space Administration
Other Authors:	Callahan, John, Napolitano, Marcello R.
Other title:	Verifying stability of dynamic soft computing systems.
Format:	Government Document Microfilm Book
Language:	English
Published:	[Washington, DC] : [Springfield, Va.] : National Aeronautics and Space Administration ; [National Technical Information Service, distributor], [1997]
Series:	NASA contractor report ; NASA CR-207032. Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ; NASA-IVV-97-002.
Subjects:	Proving. Stability. Algorithms. Computers. Systems analysis.

Norlin Library - Government Information - Microform

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