ABZ 2014: The Landing Gear Case Study, Fachbücher von Klaus-Dieter Schewe, Yamine Ait Ameur, Frederic Boniol, Virginie W...

"ABZ 2014: The Landing Gear Case Study" ist eine umfassende Sammlung von Fachbeiträgen, die im Rahmen der 4. Internationalen Konferenz ABZ 2014 in Toulouse, Frankreich, präsentiert wurden. Diese Konferenz fand im Juni 2014 statt und bot eine Plattform für Experten, um ihre Forschungsergebnisse und Erkenntnisse im Bereich der formalen Methoden und deren Anwendung in der Luftfahrttechnik zu teilen. Die 11 ausgewählten Beiträge wurden sorgfältig begutachtet und decken eine Vielzahl von formalen Techniken ab, darunter B, ASM und Fiacre. Die Autoren präsentieren unterschiedliche Ansätze zur Verifikation, einschliesslich Beweisführung, Modellprüfung, Testgenerierung, Laufzeitüberwachung und Simulation. Dieses Buch richtet sich an Fachleute und Studierende, die sich für die Anwendung formaler Methoden in der Systemverifikation interessieren und bietet wertvolle Einblicke in aktuelle Forschungstrends und -techniken.