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
Conference paper
Fast facts
Internal authorship
Further publishers
Stefan Henkler
Publishment
- 2023
Purpose of publication
Organizational unit
Subjects
- Computer science in general