Quote
S. Henkler and M. Hirsch, “Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems,” Proceedings of the 56th Hawaii International Conference on System Sciences. HICSS Conference Office, Honolulu, HI, pp. 6778–6787, 2023.
Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems
Fast facts
Internal authorship
Further publishers
Stefan Henkler
Publishment
- 2023
Anthology
Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems (Proceedings of the 56th Hawaii International Conference on System Sciences)
Organizational unit
Subjects
- Computer science in general
Publication format
Conference paper