Title: Production of reliable flight-crucial software
Subjects: Computer programs, Congresses, Data processing, Flight control, Reliability, Validation