A formal approach to robustness maximization of complex heterogeneous embedded systems

Proceedings of the 4th international conference on Hardware/software codesign and system synthesis (2006) - Comments
doi: 10.1145/1176254.1176267

Arne Hamann, Razvan Racu, Rolf Ernst