Login / Signup
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.
Ralph D. Jeffords
Constance L. Heitmeyer
Myla Archer
Elizabeth 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