Formal Verification of Distributed Load Balancing & System Recovery

Content Owner

Divakar Singh Yadav

Principal Investigator

Dr. Raghuraj Singh Suryavanshi

Co Principal Investigator

Prof. D S Yadav

Type of Work

Research

Sponsoring Agency

Government

Name of Sponsoring Agency

Council of Science & Technology, Govt of U.P

Fund

Rs. 680000.00

Year of Start

2018

Year of Completion

2020

Status

Completed

Related Department

Computer Science and Engineering Department