01468naa#a2200181#i#4500001002300000005001700023011001400040100004100054102000700095200030300102210016900405215001000574608004500584675058000629700002801209700003401237856001501271RU\INFRA-M\bibl\11367320260521124654.4##a2500-3313##a20260331b2026####ek#y0rusy0150####ca##aRU1#aВерификация как средство бездефектного функционирования специального программного обеспечения в многопроцессорных вычислительных системахeЖурнальная статья1#aМоскваcОбщество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М»d2026##a6 с.##aЖурнальная статья2local##aЭлементы и узлы систем автоматического регулирования, следящих систем. Системы автоматического управления и регулирования. 681.58aГарантии качества программного обеспечения. 004.415.5aФормальная техническая проверка. 004.415.52aТестирование программного обеспечения. 004.415.53aИнженерное дело. Техника в целом. Транспорт. 62#1aЗдиорукgД. А.#1aМарченковаgЕ. Р.4#anaukaru.ru