Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Мельниченко И.  https://www.mathnet.ru/rus/person127535 Список публикаций на Google Scholar Публикации в базе данных Math-Net.Ru Цитирования 2015 1. I. Melnichenko, A. Kamkin, S. Smolov, “An extended finite state machine-based approach to code coverage-directed test generation for hardware designs”, Труды ИСП РАН, 27:3 (2015),  161–182     2 Организации Институт электронных управляющих машин им. И. С. Брука, г. Москва