Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic. Polychronous controller synthesis from MARTE CCSL timing specifications. In Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt, editors, 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011. pages 21-30, IEEE, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.