![](/img/cover-not-exists.png)
[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Polychronous controller synthesis from MARTE CCSL timing specifications
Yu, Huafeng, Talpin, Jean-Pierre, Besnard, Loic, Gautier, Thierry, Marchand, Herve, Le Guernic, PaulYear:
2011
Language:
english
DOI:
10.1109/memcod.2011.5970507
File:
PDF, 592 KB
english, 2011