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

Format:

Book

Conference/Event

Government document

Contributor:

Holloway, C. Michael, compiler.

Hayhurst, Kelly J. (Kelly Jeanne), 1962- compiler.

Langley Research Center, issuing body.

Conference Name:

NASA Langley Formal Methods Workshop (4th : 1997 : Hampton, Va.)

Series:

NASA conference publication ; 3356.

NASA conference publication ; 3356

Language:

English

Subjects (All):

Fault-tolerant computing--Congresses.

Fault-tolerant computing.

System design--Congresses.

System design.

System analysis--Congresses.

System analysis.

Automatic control--Data processing--Congresses.

Automatic control.

Genre:

proceedings (reports)

Conference papers and proceedings.

Physical Description:

1 online resource (vii, 204 pages) : illustrations.

Other Title:

Lfm97

Place of Publication:

Hampton, Virginia : Langley Research Center, 1997.

Notes:

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).

Includes bibliographical references.

Other Format:

Microfiche version: NASA Formal Methods Workshop (4th : 1997 : Hampton, Va.). Fourth NASA Langley Formal Methods Workshop.

OCLC:

1416906743