00963naa#a2200217#i#450# RU\\bibl\78186 20260221100329.6 1819-4036 20140425b2014####ek#y0rusy0150####ca RUS RU Формальная верификация при проектировании сверхбольших интегральных схем Журнальная статья Красноярск Красноярский государственный аграрный университет 2014 2 с. Журнальная статья local Обнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42 RUS Титовская Т С Непомнящий О В Леонова А В Комаров А А sej.kgau.ru