Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems.

Stefan Henkler Martin Hirsch

Published in: HICSS (2023)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
agent architecture
support systems
intelligent systems
nuclear power plant
information systems
mobile devices