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