Research Catalog

Verifying stability of dynamic soft-computing systems

Title
Verifying stability of dynamic soft-computing systems [microform] / by Wu Wen, John Callahan and Marcello Napolitano.
Author
Wen, Wu.
Publication
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1997]

Details

Additional Authors
  • Callahan, John.
  • Napolitano, Marcello.
  • United States. National Aeronautics and Space Administration.
Description
1 v.
Series Statement
Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ; NASA-IVV-97-002
Uniform Title
NASA contractor report ; NASA CR-207032.
Alternative Title
Verifying stability of dynamic soft computing systems
Subject
  • Proving
  • Stability
  • Algorithms
  • Computers
  • Systems analysis
Note
  • Shipping list no.: 99-0654-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:207032
OCLC
marcive42750569
Author
Wen, Wu.
Title
Verifying stability of dynamic soft-computing systems [microform] / by Wu Wen, John Callahan and Marcello Napolitano.
Imprint
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
Series
Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ; NASA-IVV-97-002
NASA contractor report ; NASA CR-207032.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1998] 1 microfiche. (NASA/CR ; 97-207032).
Added Author
Callahan, John.
Napolitano, Marcello.
United States. National Aeronautics and Space Administration.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:207032
Research Call Number
READEX Microfiche NAS 1.26:207032
View in Legacy Catalog