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

Klaus Becker, Bernhard Schätz, Michael Armbruster und Christian Buckl

Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM),

2014