Modeling and Verification of High-Assurance Properties of Safety-Critical Systems.
Jeffrey J. P. TsaiEric Y. T. JuanPublished in: Comput. J. (2001)
Keyphrases
- safety critical
- high assurance
- formal methods
- fault tolerant
- safety analysis
- support systems
- distributed systems
- operating system
- agent architecture
- nuclear power plant
- management system
- computer systems
- relational databases
- embedded systems
- information systems
- knowledge acquisition
- knowledge based systems
- real time
- medical data
- reinforcement learning
- database systems
- adaptive systems
- case study
- decision making