Modular model-based development of safety-critical flight control software

Markus Hochstrasser. Modular model-based development of safety-critical flight control software. PhD thesis, Technical University of Munich, Germany, 2020. [doi]

Abstract

Abstract is missing.