ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

Augmenting Fault Tree Analysis with System-Theoretic Process Analysis in PASTA

Time: Thursday, 31.10

Room: Room 5

Authors: Jette Petzold, Reinhard von Hanxleden

Abstract: