Titre :
  • Efficient computation of succinct strategies, with applications to real-time scheduler synthesis
Auteur : Geeraerts, Gilles ; Goossens, Joël ; Stainer, Amélie
Statut de publication : Non publié, 2014
Sujet CREF : Informatique générale
Informations sur la conférence :
  • CASSTING Workshop at ETAPS (2014: Grenoble)
Langue :