| Year of Publication
2022
Type
Journals
Published in
Publication Title
Rigorous Design of Fault Tolerance and Recovery Algorithm for Disaster Management and Relief Distribution System using Event-B
Status
International
Page Numbers
518-529
ISBN/ISSN
0022-4456
Status of Paper
Published
Nature
SCI
Publisher
Refereed/Peer Reviewed
Refereed
Month of Publication
Apr