Login / Signup
Compositional Simulation of Abstract State Machines for Safety Critical Systems.
Silvia Bonfanti
Angelo Gargantini
Elvinia Riccobene
Patrizia Scandurra
Published in:
FACS (2022)
Keyphrases
</>
safety critical
safety analysis
nuclear power plant
formal methods
fault tolerant
agent architecture
support systems
databases
regulatory requirements
real time
e learning
distributed systems
embedded systems
adaptive systems
fault model