Formal System-level Design Space Exploration

Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet. Formal System-level Design Space Exploration. In Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel, editors, NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings. pages 1-8, IEEE, 2010. [doi]

Abstract

Abstract is missing.