A formal approach to robustness maximization of complex heterogeneous embedded systems

Arne Hamann, Razvan Racu, Rolf Ernst. A formal approach to robustness maximization of complex heterogeneous embedded systems. In Reinaldo A. Bergamaschi, Kiyoung Choi, editors, Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2006, Seoul, Korea, October 22-25, 2006. pages 40-45, ACM, 2006. [doi]

Authors

Arne Hamann

This author has not been identified. Look up 'Arne Hamann' in Google

Razvan Racu

This author has not been identified. Look up 'Razvan Racu' in Google

Rolf Ernst

This author has not been identified. Look up 'Rolf Ernst' in Google