01160naa#a2200181#i#450# EN\INFRA-M\bibl\113673 20260522182652.5 2500-3313 20260331b2026####ek#y0engy0150####ca RU Verification as a means of defect-free operation of special software in multiprocessor computing systems Journal article Moscow INFRA-M Academic Publishing LLC. 2026 6 с. Journal article local Элементы и узлы систем автоматического регулирования, следящих систем. Системы автоматического управления и регулирования. 681.58 Гарантии качества программного обеспечения. 004.415.5 Формальная техническая проверка. 004.415.52 Тестирование программного обеспечения. 004.415.53 Инженерное дело. Техника в целом. Транспорт. 62 Zdiuruk Denis Aleksandrovich Marchenkova Elena Romanovna naukaru.ru