Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications
2024-01-01
16 Seiten pages
CEAS Aeronautical Journal (2024). doi:10.1007/s13272-024-00762-6
Miscellaneous
Electronic Resource
English
Springer Verlag | 2025
|High-quality interface specifications with SysML modelling
IuD Bahn | 2011
|1 Outlook-Specifications - Commercial Avionics Outlook - Integrated Avionics Systems Table
Online Contents | 2003