Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
Fingerprint
Dive into the research topics of 'Coupling model checking and PRA for safety analysis of digital I&C systems'. Together they form a unique fingerprint.