Title: Second NASA Formal Workshop 1992
First published: 1992
Subjects: Automatic control, Computer programs, Computer techniques, Conferences, Congresses, Data processing, Digital systems, Failure analysis, Fault tolerance, Fault-tolerant computing, Reliability analysis, System analysis, System design, Systems analysis