%0 Conference Paper %1 conf/hicss/Henkler023 %A Henkler, Stefan %A Hirsch, Martin %B HICSS %D 2023 %E Bui, Tung X. %I ScholarSpace %K dblp %P 6778-6787 %T Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems. %U http://dblp.uni-trier.de/db/conf/hicss/hicss2023.html#Henkler023 %@ 978-0-9981331-6-4

@inproceedings{conf/hicss/Henkler023, added-at = {2023-02-16T00:00:00.000+0100}, author = {Henkler, Stefan and Hirsch, Martin}, biburl = {https://www.bibsonomy.org/bibtex/240dd0b74324034c9b211d525b13731bf/dblp}, booktitle = {HICSS}, crossref = {conf/hicss/2023}, editor = {Bui, Tung X.}, ee = {https://hdl.handle.net/10125/103453}, interhash = {cdf68ae482889fb24aa4f197de6b5fe4}, intrahash = {40dd0b74324034c9b211d525b13731bf}, isbn = {978-0-9981331-6-4}, keywords = {dblp}, pages = {6778-6787}, publisher = {ScholarSpace}, timestamp = {2024-04-09T22:05:30.000+0200}, title = {Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems.}, url = {http://dblp.uni-trier.de/db/conf/hicss/hicss2023.html#Henkler023}, year = 2023 }