View of Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B

Return to Article Details Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B Download Download PDF