00797naa#a2200229#i#450# EN\\bibl\78186 /en/manage/index 20250604155635.3 1819-4036 20140425b2014####ek#y0engy0150####ca RUS RU FORMAL VERIFICATION IN VERY LARGE-SCALE INTEGRATIONDESIGNING Journal article Krasnoyarsk Krasnoyarsk State Agrarian University 2014 2 с. Journal article local Обнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42 RUS Titovskaya T S Nepomnyashchiy O V Leonova A V Komarov A A fht.editorum.ru /en/manage/index