Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Нагибин Дмитрий Владимирович

https://www.mathnet.ru/rus/person228971
Список публикаций на Google Scholar

Публикации в базе данных Math-Net.Ru Цитирования
2025
1. Д. В. Нагибин, А. С. Петренко, В. С. Давыденко, И. В. Котенко, Е. В. Федорченко, “Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах”, Информатика и автоматизация, 24:2 (2025),  526–555  mathnet

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025