User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

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

Author(s):
Becker, Klaus; Schätz, Bernhard; Armbruster, Michael; Buckl, Christian
Book / Congress title:
Proceedings of the 12th International Conference on Software Engineering and Formal Methods
Year:
2014
Month:
September
 BibTeX