Dobroliubova, M.Filippova, M.Nevhod, D.Kovalenko, M.2023-04-272023-04-272019Automated verification complex for mobile communication systems / M. Dobroliubova, M. Filippova, D. Nevhod, M. Kovalenko // Механіка гіроскопічних систем : науково-технічний збірник. – 2019. – Вип. 38. – С. 78-90. – Бібліогр.: 16 назв.https://ela.kpi.ua/handle/123456789/55003enArticleС. 78-90http://dx.doi.org/10.20535/0203-3771382019203009681.3