|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
А. К. Петренко, П. Н. Девянин, Д. В. Ефремов, А. А. Карнов, Е. В. Корныхин, В. В. Кулямин, А. В. Хорошилов, “Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом.”, Труды ИСП РАН, 37:3 (2025), 277–290  |
|
2024 |
| 2. |
А. А. Карнов, “Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации”, Труды ИСП РАН, 36:4 (2024), 169–182 |
|
2022 |
| 3. |
И. Б. Бурдонов, А. А. Карнов, “Анализ регулярности матриц”, Труды ИСП РАН, 34:1 (2022), 101–122 |
|
2017 |
| 4. |
A. A. Karnov, S. V. Zelenov, “Stochastic methods for analysis of complex hardware-software systems”, Труды ИСП РАН, 29:4 (2017), 191–202  |
1
|
|
