Bal Krishna Saraswat

Content Owner / Guide

Divakar Singh Yadav

Title

Formal Verification of Recovery Techniques in Distributed Systems using Event-B

Year Awarded (Blank if Not Awarded)

2024

Awarding Body

Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow

Type

Doctor of Philosophy

Place of Work

IET Lucknow

E-Mail

dsyadav@ietlucknow.ac.in

Related Department

Computer Science and Engineering Department

Roll No

Ph.D/15/CSE/179

Registration Date

Thu, 08/13/2015 - 12:00

Area of Research

Computer Science