Title: Software reliability models for fault-tolerant avionics computers and related topics
Subjects: Digital avionics, Reliability