BFL: a Logic to Reason about Fault Trees

Research output: Working paperPreprintAcademic

27 Downloads (Pure)

Search results

  • 2022

    BFL: a Logic to Reason about Fault Trees

    Nicoletti, S. M., Hahn, E. M. & Stoelinga, M. I. A., 30 Jun 2022, 2022 52nd Annual IEEE/IFIP International Conference On Dependable Systems And Networks (DSN 2022). Piscataway, NJ: IEEE, p. 441-452 12 p. 9833769

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    6 Citations (Scopus)
    83 Downloads (Pure)