- Titel:
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems
- Autor(en):
- Becker, Klaus; Schätz, Bernhard; Armbruster, Michael; Buckl, Christian
- Kongress- / Buchtitel:
- Proceedings of the 12th International Conference on Software Engineering and Formal Methods
- Jahr:
- 2014
- Monat:
- September
- BibTeX