Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models

H. Boudali, Pepijn Crouzen, Boudewijn R.H.M. Haverkort, G.W.M. Kuntz, Mariëlle Ida Antoinette Stoelinga

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

30 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering