Oleksandr Martynyuk, Oleksandr Drozd, Lyudmila Sugak, Sergiy Kravtsov, Dmitry Martynyuk, Igor Kovalev. Model of Verification of Distributed Storage Systems. In IEEE East-West Design & Test Symposium, EWDTS 2023, Batumi, Georgia, September 22-25, 2023. pages 1-7, IEEE, 2023. [doi]
Abstract is missing.