BFL: a Logic to Reason about Fault Trees

Thumbnail Image

Files

Primary 253519.pdf (1.94 MB)

Date

2022

Authors

Nicoletti, S.M.
Hahn, E.M.
Stoelinga, M.I.A. Marielle

Journal Title

Journal ISSN

Volume Title

Publisher

Los Alamitos : IEEE

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/253519

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By