Нагибин ДВ, Петренко АС, Давыденко ВС, Котенко ИВ, Федорченко ЕВ. Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах. ИА [Интернет]. 1апр.2025 [цитируется по 11апр.2025];24(2):526-55. Available from: https://ia.spcras.ru/index.php/sp/article/view/16772