Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga

Browse the full ICECCS paper archive.