Property Specification and Models for Risk: Towards Risk Propagation Graphs

Stefano Maria Nicoletti; Mattia Fumagalli; Milan Lopuhaä-Zwakenberg; Ernst Moritz Hahn; Giancarlo Guizzardi; Mariëlle I.A. Stoelinga

Property Specification and Models for Risk: Towards Risk Propagation Graphs

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

Original language	English
Title of host publication	SAFECOMP 2023
Publication status	Published - 2023

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
328 Downloads (Pure)

Cite this

@inproceedings{1e709f5b7e2d4e70a5124ed99cdbf7ee,

title = "Property Specification and Models for Risk: Towards Risk Propagation Graphs",

author = "Nicoletti, \{Stefano Maria\} and Mattia Fumagalli and Milan Lopuha{\"a}-Zwakenberg and Hahn, \{Ernst Moritz\} and Giancarlo Guizzardi and Stoelinga, \{Mari{\"e}lle I.A.\}",

year = "2023",

language = "English",

booktitle = "SAFECOMP 2023",

}

Property Specification and Models for Risk: Towards Risk Propagation Graphs

Research output

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

Cite this