Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems

Schnelle Fakten

• Interne Autorenschaft

  Prof. Dr. Martin Hirsch

• 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

  Informatik

• Fachgebiete

  • Informatik allgemein

• Format

  Konferenzpaper