Программные продукты и системы №4 (2019)

Эволюция и особенности гиперконвергентных инфраструктур. Верификация моделей систем на базе эквациональной характеристики формул CTL. Метод трансляции первопорядковых логических формул в позитивно-образованные формулы. Интеллектуальный сбор информации из распределенных источников.