Zitat
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
Konferenzpaper
Schnelle Fakten
Interne Autorenschaft
Weitere Publizierende
Stefan Henkler
Veröffentlichung
- 2023
Publikationszweck
Organisationseinheit
Fachgebiete
- Informatik allgemein