Formal development and Verification of Secure Block Chain enabled Digital Healthcare System using Event-B

Project sanction no  CST/D/1223 dated 30/08/2022 ; Project Duration : 03 Years ; INR 10.44 lacks

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. 1044000.00

Year of Start

2022

Status

Ongoing

Related Department

Computer Science and Engineering Department