Quote
S. Henkler and M. Hirsch, "Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems," in Proceedings of the 56th Hawaii International Conference on System Sciences, 2023, pp. 6778-6787.
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