2015 International Conference on Advances in Computer Engineering and Applications

---

Formal specification of asynchronous checkpointing using Event B

• Read more about Formal specification of asynchronous checkpointing using Event B

Formal specification of asynchronous checkpointing using Event B

• Read more about Formal specification of asynchronous checkpointing using Event B

Formal specification of asynchronous checkpointing using Event B

• Read more about Formal specification of asynchronous checkpointing using Event B

Subscribe to 2015 International Conference on Advances in Computer Engineering and Applications