Reich, MarinaAnnighoefer, BjoernSchweiger, AndreasRabiser, RickWimmer, ManuelGroher, IrisWortmann, AndreasWiesmayr, Bianca2024-02-192024-02-192024978-3-88579-737-1https://dl.gi.de/handle/20.500.12116/43602enAvionicsSafetySecuritySystems engineeringSoftware engineeringMBSEFormal methodFormal verificationModel-basedRequirementqualificationCertificationSimulationProcessToolPlatformArchitectureAI6th Workshop on Avionics Systems und Software Engineering (AvioSE'24)Text/Conference Paper10.18420/sw2024_561617-5468