LDR 01160naa#a2200181#i#450#
001     EN\INFRA-M\bibl\113673
005     20260522120702.5
011 ## _a2500-3313
100 ## _a20260331b2026####ek#y0engy0150####ca
102 ## _aRU
200 1# _aVerification as a means of defect-free operation of special software in multiprocessor computing systems
       _eJournal article
210 1# _aMoscow
       _cINFRA-M Academic Publishing LLC.
       _d2026
215 ## _a6 с.
608 ## _aJournal article
       _2local
675 ## _aЭлементы и узлы систем автоматического регулирования, следящих систем. Системы автоматического управления и регулирования. 681.58
       _aГарантии качества программного обеспечения. 004.415.5
       _aФормальная техническая проверка. 004.415.52
       _aТестирование программного обеспечения. 004.415.53
       _aИнженерное дело. Техника в целом. Транспорт. 62
       _z
700 #1 _aZdiuruk
       _gDenis Aleksandrovich
700 #1 _aMarchenkova
       _gElena Romanovna
856 4# _anaukaru.ru
       _u