Бодин Евгений Викторович

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

1. Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня
   
   Модел. и анализ информ. систем, 25:6 (2018),  637–666
2. Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN
   
   Модел. и анализ информ. систем, 21:6 (2014),  31–43
3. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
   
   Тр. СПИИРАН, 26 (2013),  349–383
4. Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры)
   
   Модел. и анализ информ. систем, 18:2 (2011),  113–128