Formal Modelling of Cluster-Coordinator-Based Load Balancing Protocol Using Event-B

von Shukla, Shantanu
Veröffentlicht in Doctoral Symposium on Computational Intelligence (2. : 2021 : Lucknow) Proceedings of Second Doctoral Symposium on Computational Intelligence (2022)