|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
1. |
Е. М. Новиков, “Возможности и ограничения инструментов верификации моделей программ”, Труды ИСП РАН, 33:6 (2021), 7–14 |
|
2020 |
2. |
В. А. Гратинский, Е. М. Новиков, И. С. Захаров, “Экспертная оценка результатов верификации инструментов верификации моделей программ”, Труды ИСП РАН, 32:5 (2020), 7–20 |
|
2017 |
3. |
И. С. Захаров, Е. М. Новиков, “Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем”, Труды ИСП РАН, 29:6 (2017), 25–48 |
4. |
Е. М. Новиков, “Возможности статической верификации монолитного ядра операционных систем”, Труды ИСП РАН, 29:2 (2017), 97–116 |
2
|
5. |
Е. М. Новиков, “Развитие ядра операционной системы Linux”, Труды ИСП РАН, 29:2 (2017), 77–96 |
4
|
|