Journées FCH 8 juin 2017
Présentations de la journée FCH du 8 juin 2017 (Description et programme)
Présentation d'introduction
Présentation de Alexis Aubry et Pascale Marangé : Ordonnancement d'ateliers flexibles de production avec des automates temporises
Présentation de Marie Duflot-Kremer : Model-Checking statistique pour l'ordonnancement
Présentation de Laurent Houssin : The time varying cyclic scheduling problem
Présentation de Dave Parker : Scheduling and Strategy Synthesis for Probabilistic Real-Time Systems with PRISM
Présentation de Didier Lime : Model-checking Real-time Systems with Romeo