Some Studies on Performability Analysis of Safety Critical Systems.

Shakeel Ahamad Ratneshwer

Published in: Comput. Sci. Rev. (2021)

Keyphrases

safety critical
safety analysis
fault tolerant
formal methods
distributed systems
real time
databases
decision making
management system
learning systems
embedded systems
agent architecture