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
Schnelle Fakten
Interne Autorenschaft
Weitere Publizierende
Stefan Henkler
Veröffentlichung
- 2023
Titel des Sammelbands
Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems
Titel des Konferenzbands
Proceedings of the 56th Hawaii International Conference on System Sciences
Organisationseinheit
Fachgebiete
- Informatik allgemein
Format
Konferenzpaper