Polychronous controller synthesis from MARTE CCSL timing specifications.

Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Herv Marchand, Paul Le Guernic

Browse the full MEMOCODE paper archive.