RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Коннов Игорь Владимирович

В базах данных Math-Net.Ru
Публикаций: 3
Научных статей: 3

Статистика просмотров:
Эта страница:370
Страницы публикаций:555
Полные тексты:199
Списки литературы:83
E-mail:

http://www.mathnet.ru/rus/person63687
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

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

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020