Login / Signup

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.

Ralph D. JeffordsConstance L. HeitmeyerMyla ArcherElizabeth I. Leonard
Published in: FM (2009)
Keyphrases
  • fault tolerant
  • distributed systems
  • fault tolerance
  • formal methods
  • data structure
  • knowledge based systems
  • state machine
  • knowledge base
  • intelligent systems