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

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

Статистика просмотров:
Эта страница:263
Страницы публикаций:351
Полные тексты:124
Списки литературы:68
E-mail:

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

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

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