Электронная библиотека (репозиторий) Томского государственного университета
Громов, Максим Леонидович

Add to Quick Collection   All 9 Results

Showing items 1 - 9 of 9.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
Authors: Громов, Максим Леонидович | Лапутенко, Андрей Владимирович
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 65-69
Type: статьи в журналах
Date: 2015
Add   Система имитационного моделирования сети
Authors: Чеботарева, Евгения Петровна | Громов, Максим Леонидович
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 86
Type: статьи в сборниках
Date: 2014
Add   Поиск простой цепи ограниченной длины в условиях динамически изменяющихся весов дуг
Authors: Громов, Максим Леонидович | Жамнов, Вадим Владимирович | Николаева, Екатерина Александровна | Матросова, Анжела Юрьевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 159-161
Type: статьи в журналах
Date: 2013
Add   Программный комплекс моделирования телекоммуникационной сети
Authors: Оленюк, Евгения Петровна | Громов, Максим Леонидович
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 184-186
Type: статьи в журналах
Date: 2013
Add   Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами
Authors: Шатилов, Никита Петрович | Громов, Максим Леонидович
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 174-176
Type: статьи в журналах
Date: 2013
Add   К упрощению сколемовых функций в булевых формулах с кванторами
Authors: Шатилов, Никита Петрович | Громов, Максим Леонидович
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 321-322
Type: статьи в журналах
Date: 2012
Add   Различающие эксперименты с неинициальными недетерминированными автоматами
Authors: Громов, Максим Леонидович | Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 4. С. 93-101
Type: статьи в журналах
Date: 2011
Add   Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Authors: Громов, Максим Леонидович
Type: авторефераты диссертаций
Date: 2009
Add   Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
Authors: Громов, Максим Леонидович | Евтушенко, Нина Владимировна
Source: Прикладная дискретная математика. 2009. № 4. С. 90-101
Type: статьи в журналах
Date: 2009
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^