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