Нагибин Дмитрий Владимирович

Публикации в базе данных Math-Net.Ru

1. Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах
   
   Информатика и автоматизация, 24:2 (2025),  526–555