Login / Signup
A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems.
Ahmed Mohamed Bakr
May Salama
Abdelwahab K. Alsammak
Published in:
Comput. Sci. (2021)
Keyphrases
</>
safety analysis
safety critical
state machine
real time
fault tolerant
control system
agent architecture
management system
embedded systems
finite state machines
formal methods
low cost
health care
decision making
databases
nuclear power plant
database