|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2012 |
| 1. |
Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, И. В. Коннов, В. В. Подымов, “Как разработать простое средство верификации систем реального времени”, Модел. и анализ информ. систем, 19:6 (2012), 45–56  |
|
2010 |
| 2. |
И. В. Коннов, В. А. Захаров, “Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени”, Модел. и анализ информ. систем, 17:4 (2010), 78–87 |
|
2008 |
| 3. |
И. В. Коннов, “Применение ослабленных отношений симуляции в методе сетевых инвариантов для верификации параметризованных асинхронных моделей”, Модел. и анализ информ. систем, 15:3 (2008), 3–13 |
|
Обратная связь: