Alexandre Donzé. BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract). In Sebastian Steinhorst, Jyotirmoy V. Deshmukh, editors, 2nd International Workshop on Autonomous Systems Design, ASD 2020, March 13, 2020, Grenoble, France (Virtual Conference). Volume 79 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{Donze20,
title = {BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract)},
author = {Alexandre Donzé},
year = {2020},
doi = {10.4230/OASIcs.ASD.2020.5},
url = {https://doi.org/10.4230/OASIcs.ASD.2020.5},
researchr = {https://researchr.org/publication/Donze20},
cites = {0},
citedby = {0},
booktitle = {2nd International Workshop on Autonomous Systems Design, ASD 2020, March 13, 2020, Grenoble, France (Virtual Conference)},
editor = {Sebastian Steinhorst and Jyotirmoy V. Deshmukh},
volume = {79},
series = {OASICS},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-141-2},
}