Корныхин Евгений Валерьевич

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

1. Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
   
   Труды ИСП РАН, 33:6 (2021),  15–26
2. Мониторинг и тестирование на основе многоуровневых спецификаций программ
   
   Труды ИСП РАН, 32:6 (2020),  7–18
3. Использование языка программирования Python для описания ограничений на архитектурные модели
   
   Труды ИСП РАН, 27:5 (2015),  143–156
4. Генерация тестовых данных для системного функционального тестирования FIFO-кэш-памяти микропроцессоров
   
   Выч. мет. программирование, 10:2 (2009),  107–116