User: Guest  Login
Author(s):
Becker, Klaus; Schätz, Bernhard; Armbruster, Michael; Buckl, Christian 
Title:
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems 
Book / Congress title:
Proceedings of the 12th International Conference on Software Engineering and Formal Methods 
Year:
2014 
Month:
September