Konferenzbeitrag
6th Workshop on Avionics Systems und Software Engineering (AvioSE'24)
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Zusatzinformation
Datum
2024
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
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