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