Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах - Нагибин, Дмитрий Владимирович; Петренко, Алексей Сергеевич; Давыденко, Владислав Сергеевич; Котенко, Игорь Витальевич; Федорченко, Елена Владимировна (Информатика и автоматизация, 2025)