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
Sammelband
Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems (Proceedings of the 56th Hawaii International Conference on System Sciences)
Organisationseinheit
Fachgebiete
- Informatik allgemein
Format
Konferenzpaper