Textdokument
Workshop Summary
Lade...
Volltext URI
Dokumententyp
Dateien
Zusatzinformation
Datum
2025
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik, Bonn
Zusammenfassung
Systems and software engineering in aerospace is subject to special challenges. For covering these the AvioSE’25 workshop connects academia, industry, and certification authorities through selected scientific presentations, keynote talks, and a panel discussion.
Beschreibung
Schlagwörter
avionics , safety , security , systems engineering , software engineering , MBSE , formal method , formal verification , model-based , requirement , qualification , certification , simulation , process , tool , platform , architecture , AI