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