Коннов Игорь Владимирович

Публикации в базе данных Math-Net.Ru

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