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]
@inproceedings{YuTBGMG11,
title = {Polychronous controller synthesis from MARTE CCSL timing specifications},
author = {Huafeng Yu and Jean-Pierre Talpin and Loïc Besnard and Thierry Gautier and Hervé Marchand and Paul Le Guernic},
year = {2011},
doi = {10.1109/MEMCOD.2011.5970507},
url = {http://dx.doi.org/10.1109/MEMCOD.2011.5970507},
researchr = {https://researchr.org/publication/YuTBGMG11},
cites = {0},
citedby = {0},
pages = {21-30},
booktitle = {9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011},
editor = {Satnam Singh and Barbara Jobstmann and Michael Kishinevsky and Jens Brandt},
publisher = {IEEE},
isbn = {978-1-4577-0117-7},
}