A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems.

Klaus Becker, Bernhard Schtz, Michael Armbruster, Christian Buckl

Browse the full SEFM paper archive.