01160naa#a2200181#i#4500001002300000005001700023011001400040100004100054102000700095200012600102210005100228215001000279608002700289675058000316700003400896700003300930856001500963EN\INFRA-M\bibl\11367320260522120723.5##a2500-3313##a20260331b2026####ek#y0engy0150####ca##aRU1#aVerification as a means of defect-free operation of special software in multiprocessor computing systemseJournal article1#aMoscowcINFRA-M Academic Publishing LLC.d2026##a6 с.##aJournal article2local##aЭлементы и узлы систем автоматического регулирования, следящих систем. Системы автоматического управления и регулирования. 681.58aГарантии качества программного обеспечения. 004.415.5aФормальная техническая проверка. 004.415.52aТестирование программного обеспечения. 004.415.53aИнженерное дело. Техника в целом. Транспорт. 62#1aZdiurukgDenis Aleksandrovich#1aMarchenkovagElena Romanovna4#anaukaru.ru