A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331.
Konstantin DmitrievShanza Ali ZafarKevin SchmiechenYi LaiMicheal SaleabPranav NagarajanDaniel DollingerMarkus HochstrasserStephan MyschikFlorian HolzapfelPublished in: CoRR (2020)