Deployment Calculation and Analysis for a Fault-Tolerant System Platform

Klaus Becker and Bernhard Schätz

11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), pp. 100-109

2015