Open AccessUsing statistical-model-checking-based simulation for evaluating the robustness of a production schedule
Author(s) -
Sara Himmiche,
Alexis Aubry,
Pascale Marangé,
Jean-François Pétin,
Marie Duflot
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - robustness (evolution) , computer science , schedule , reliability engineering , engineering , operating system , biochemistry , chemistry , gene