Stefan Henkler, Martin Hirsch 0001. Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems. In Tung X. Bui, editor, 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023. pages 6778-6787, ScholarSpace, 2023. [doi]
@inproceedings{Henkler023,
title = {Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems},
author = {Stefan Henkler and Martin Hirsch 0001},
year = {2023},
url = {https://hdl.handle.net/10125/103453},
researchr = {https://researchr.org/publication/Henkler023},
cites = {0},
citedby = {0},
pages = {6778-6787},
booktitle = {56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023},
editor = {Tung X. Bui},
publisher = {ScholarSpace},
isbn = {978-0-9981331-6-4},
}