If a Tree Falls in the Forest: Risk Logics for Safety-Security Analysis

Research output: ThesisPhD Thesis - Research UT, graduation UT

70 Downloads (Pure)
Filter
Chapter

Search results

  • 2023

    PFL: A Probabilistic Logic for Fault Trees

    Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M., 3 Mar 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Cham: Springer Nature, p. 199–221 23 p. (Lecture Notes in Computer Science; vol. 14000).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    68 Downloads (Pure)