Title: Fourth NASA Langley Formal Methods Workshop
First published: 1997
Subjects: Congresses, Automatic control, Data processing, System design, System analysis, Fault-tolerant computing