Year of Publication
2019
Type
Conference Proceedings
Published in
Publication Title
Formal Verification of Causal Order-Based Load Distribution Mechanism Using Event-B
Status
International
Page Numbers
229-241
Status of Paper
Published
Nature
Others
Publisher
Refereed/Peer Reviewed
NA
Month of Publication
Dec