Querying Fault and Attack Trees: Property Specification on a Water Network

Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn, Mariëlle Stoelinga

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

1 PhD Thesis - Research UT, graduation UT

1 results

Filter

2024
If a Tree Falls in the Forest: Risk Logics for Safety-Security Analysis
Nicoletti, S. M., Nov 2024, Enschede: University of Twente. 312 p.
Research output: Thesis › PhD Thesis - Research UT, graduation UT

Open Access
File
197 Downloads (Pure)