Formal specification of asynchronous checkpointing using Event B

---

DOI

10.1109/ICACEA.2015.7164773

Link

https://ieeexplore.ieee.org/abstract/document/7164773

Year of Publication

2015

Other Authors

Natthan Singh ; Manik Chandra ; Divakar Yadav

Type

Conference Proceedings

Published in

2015 International Conference on Advances in Computer Engineering and Applications

Publication Title

Formal specification of asynchronous checkpointing using Event-B

Status

International