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

Workshop on Foundations of Interface Theories, FIT 2008 Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

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

    52 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.

    Computer Science