DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
Rechercher
(titres de publication, de périodique et noms de colloque inclus)
2015-09-25 - Travail avec promoteur/Doctorat - Anglais - 382 page(s)

Estiévenart Morgane, "Verification and synthesis of MITL through alternating timed automata", Brihaye Thomas (p) , Geeraerts Gilles, 2011-10-01, soutenue le 2015-09-25

  • Codes CREF : Informatique mathématique (DI1160)
  • Jury : Bruyère Véronique (p) , Raskin Jean-François, Markey Nicolas, Rivière Cédric
  • Unités de recherche UMONS : Mathématiques effectives (S820)
  • Instituts UMONS : Institut de Recherche sur les Systèmes Complexes (Complexys)
Texte intégral :