Specifying a Safety-Critical Control System in Z.
Jonathan JackyPublished in: IEEE Trans. Software Eng. (1995)
Keyphrases
- safety critical
- control system
- safety analysis
- formal methods
- nuclear power plant
- fault tolerant
- agent architecture
- embedded systems
- support systems
- real time
- regulatory requirements
- fuzzy logic
- adaptive systems
- fuzzy control
- cooperative
- reinforcement learning
- distributed systems
- low cost
- data model
- multi agent systems