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

• Sammelband

  Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems

• Organisationseinheit

  Informatik

• Fachgebiete

  • Informatik allgemein

• Format

  Konferenzpaper