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