Anupam Singh

Content Owner / Guide

Divakar Singh Yadav

Title

Formal Development of Replica Control Protocol Using Event-B

Year Awarded (Blank if Not Awarded)

2021

Awarding Body

Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow

Type

Doctor of Philosophy

Place of Work

Lucknow

E-Mail

[email protected]

Related Department

Computer Science and Engineering Department