6th Workshop on Avionics Systems und Software Engineering (AvioSE'24) (Englisch)
- Neue Suche nach: Reich, Marina
- Neue Suche nach: Annighoefer, Bjoern
- Neue Suche nach: Schweiger, Andreas
- Neue Suche nach: Reich, Marina
- Neue Suche nach: Annighoefer, Bjoern
- Neue Suche nach: Schweiger, Andreas
2024
-
ISBN:
- Sonstige / Elektronische Ressource
-
Titel:6th Workshop on Avionics Systems und Software Engineering (AvioSE'24)
-
Beteiligte:
-
Verlag:
- Neue Suche nach: Gesellschaft für Informatik e.V.
-
Erscheinungsdatum:2024
-
ISBN:
-
DOI:
-
Medientyp:Sonstige
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:Formal method , Security , Architecture , Tool , AI , Software engineering , Avionics , Systems engineering , Safety , qualification , Simulation , Formal verification , Certification , Process , FOS: Civil engineering , Requirement , Model-based , Platform , MBSE
-
Datenquelle: