6th Workshop on Avionics Systems und Software Engineering (AvioSE'24) (English)
- New search for: Reich, Marina
- New search for: Annighoefer, Bjoern
- New search for: Schweiger, Andreas
- New search for: Reich, Marina
- New search for: Annighoefer, Bjoern
- New search for: Schweiger, Andreas
2024
-
ISBN:
- Miscellaneous / Electronic Resource
-
Title:6th Workshop on Avionics Systems und Software Engineering (AvioSE'24)
-
Contributors:
-
Publisher:
- New search for: Gesellschaft für Informatik e.V.
-
Publication date:2024
-
ISBN:
-
DOI:
-
Type of media:Miscellaneous
-
Type of material:Electronic Resource
-
Language:English
-
Keywords: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
-
Source: