Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Print Material
Conference NASA Langley Formal Methods Workshop (4th : 1997 : Hampton, Va.)

Title Fourth NASA Langley Formal Methods Workshop / compiled by C. Michael Holloway and Kelly J. Hayhurst.

Publication Info. Hampton, Virginia : Langley Research Center, 1997.

Copies

Description 1 online resource (vii, 204 pages) : illustrations.
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Series NASA conference publication ; 3356
NASA conference publication ; 3356.
Note Description based on online resource, PDF version; title from title page (NASA, viewed September 20, 2023).
"Proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at the Radisson Hotel, Hampton, Virginia, September 10-12, 1997."
"September 1997."
"Performing organization report number L-17649"--Report documentation page.
In scope of the U.S. Government Publishing Office Cataloging and Indexing Program (C&I) and Federal Depository Library Program (FDLP).
Bibliography Includes bibliographical references.
Funding Performed by NASA Langley Research Center WU 522-33-11-03
Subject Fault-tolerant computing -- Congresses.
System design -- Congresses.
System analysis -- Congresses.
Automatic control -- Data processing -- Congresses.
Tolérance aux fautes (Informatique) -- Congrès.
Conception de systèmes -- Congrès.
Analyse de systèmes -- Congrès.
Commande automatique -- Informatique -- Congrès.
Genre/Form proceedings (reports)
Conference papers and proceedings.
Actes de congrès.
Added Author Holloway, C. Michael, compiler.
Hayhurst, Kelly J. (Kelly Jeanne), 1962- compiler.
Langley Research Center, issuing body.
Added Title Lfm97
Other Form: Microfiche version: NASA Formal Methods Workshop (4th : 1997 : Hampton, Va.). Fourth NASA Langley Formal Methods Workshop. [Hampton, Va.] : [National Aeronautics and Space Administration, Langley Research Center], 1997 (OCoLC)45129899
Gpo Item No. 0830-H-10 (onlline)
Sudoc No. NAS 1.55:3356

 
    
Available items only