Lfm2000 :
fifth NASA Langley Formal Methods Workshop /
C. Michael Holloway, compiler.

Description

Meeting Name

NASA Formal Methods Workshop Williamsburg, Virginia) 2000 : (5th :

Related Names

Holloway, C. Michael.
Langley Research Center.

Language(s)

English

Published

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2000].

Subjects

Automatic control > Automatic control / Data processing > Automatic control / Data processing / Congresses.
System analysis > System analysis / Congresses.
System design > System design / Congresses.
Fault-tolerant computing > Fault-tolerant computing / Congresses.

Note

"June 2000".
"Proceedings of a workshop sponsored by the National Aeronautics and Space Administration and held at the Radisson Fort Magruder Hotel & Conference center, Williamsburg, Virginia, June 13-15, 2000".

Physical Description

x, 198 p. : ill. ; 29 cm.

Locate a Print Version

Find in a library

Viewability