Design and Verification of Fault Tolerant Systems with CSP.
Jan PeleskaPublished in: Distributed Comput. (1991)
Keyphrases
- fault tolerant
- high assurance
- distributed systems
- fault tolerance
- safety critical
- formal methods
- formal verification
- load balancing
- design tools
- management system
- artificial intelligence
- support systems
- complex systems
- constraint satisfaction problems
- knowledge based systems
- access control
- intelligent systems
- modeling language
- design process
- decomposition methods
- state machine