Property Specification and Models for Risk: Towards Risk Propagation Graphs

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

Original languageEnglish
Title of host publicationSAFECOMP 2023
Publication statusPublished - 2023

Cite this