Login / Signup

Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems.

Christel SeguinVirginie Wiels
Published in: FME (1996)
Keyphrases
  • fault tolerant
  • distributed systems
  • fault tolerance
  • safety critical
  • high assurance
  • state machine
  • management system
  • load balancing
  • high availability
  • query processing
  • source code
  • intelligent systems
  • computer systems