Sara Himmiche, Alexis Aubry, Pascale Marangé, Marie Duflot-Kremer, Jean-François Pétin. Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule. In Theodor Borangiu, Damien Trentesaux, André Thomas, Olivier Cardin, editors, Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2017, Nantes, France, October 19-20, 2017. Volume 762 of Studies in Computational Intelligence, pages 345-357, Springer, 2017. [doi]
@inproceedings{HimmicheAMDP17,
title = {Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule},
author = {Sara Himmiche and Alexis Aubry and Pascale Marangé and Marie Duflot-Kremer and Jean-François Pétin},
year = {2017},
doi = {10.1007/978-3-319-73751-5_26},
url = {https://doi.org/10.1007/978-3-319-73751-5_26},
researchr = {https://researchr.org/publication/HimmicheAMDP17},
cites = {0},
citedby = {0},
pages = {345-357},
booktitle = {Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2017, Nantes, France, October 19-20, 2017},
editor = {Theodor Borangiu and Damien Trentesaux and André Thomas and Olivier Cardin},
volume = {762},
series = {Studies in Computational Intelligence},
publisher = {Springer},
isbn = {978-3-319-73751-5},
}