par Geeraerts, Gilles ;Goossens, Joël ;Stainer, Amélie
Référence (April 2014: Grenoble, France), 1st Cassting Workshop ETAPS 2014
Publication Publié, 2014-01-01
Publication dans des actes
Titre:
  • Efficient computation of succinct strategies, with applications to real-time scheduler synthesis
Auteur:Geeraerts, Gilles; Goossens, Joël; Stainer, Amélie
Informations sur la publication:(April 2014: Grenoble, France), 1st Cassting Workshop ETAPS 2014
Statut de publication:Publié, 2014-01-01
Sujet CREF:Informatique générale
Langue:N/A

Documents en relation

DI-fusion