01468naa#a2200181#i#450# RU\INFRA-M\bibl\113673 20260523090014.6 2500-3313 20260331b2026####ek#y0rusy0150####ca RU Верификация как средство бездефектного функционирования специального программного обеспечения в многопроцессорных вычислительных системах Журнальная статья Москва Общество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М» 2026 6 с. Журнальная статья local Элементы и узлы систем автоматического регулирования, следящих систем. Системы автоматического управления и регулирования. 681.58 Гарантии качества программного обеспечения. 004.415.5 Формальная техническая проверка. 004.415.52 Тестирование программного обеспечения. 004.415.53 Инженерное дело. Техника в целом. Транспорт. 62 Здиорук Д. А. Марченкова Е. Р. naukaru.ru