Login / Signup

A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems.

Klaus BeckerBernhard SchätzMichael ArmbrusterChristian Buckl
Published in: SEFM (2014)
Keyphrases
  • fault tolerant
  • formal model
  • distributed systems
  • fault tolerance
  • safety critical
  • intelligent systems
  • management system
  • load balancing
  • complex systems
  • rule based systems
  • formal methods
  • security properties