|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
| 1. |
Д. В. Ефремов, В. В. Копач, В. В. Кулямин, Е. В. Корныхин, А. К. Петренко, А. В. Хорошилов, И. В. Щепетков, “Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы”, Труды ИСП РАН, 33:6 (2021), 15–26  |
1
|
|
2020 |
| 2. |
А. К. Петренко, Д. В. Ефремов, Е. В. Корныхин, В. В. Кулямин, А. В. Хорошилов, И. В. Щепетков, “Мониторинг и тестирование на основе многоуровневых спецификаций программ”, Труды ИСП РАН, 32:6 (2020), 7–18 |
1
|
|
2017 |
| 3. |
Д. В. Ефремов, М. У. Мандрыкин, “Формальная верификация библиотечных функций ядра Linux”, Труды ИСП РАН, 29:6 (2017), 49–76  |
2
|
|
Обратная связь: