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

Add to Quick Collection   All 62 Results

Showing items 46 - 60 of 62.
Sort:
 Add All Items to Quick Collection
Add   Синтез условных синхронизирующих экспериментов для недетерминированных автоматов
Authors: Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 329-330
Type: статьи в журналах
Date: 2012
Add   Частные решения уравнений для временных автоматов с таймаутами
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 333-334
Type: статьи в журналах
Date: 2012
Add   Исследование отношения неразделимости для недетерминированных автоматов с тайм-аутами
Authors: Шабалдина, Наталия Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 3. С. 108-115
Type: статьи в журналах
Date: 2011
Add   Различающие эксперименты с неинициальными недетерминированными автоматами
Authors: Громов, Максим Леонидович | Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 4. С. 93-101
Type: статьи в журналах
Date: 2011
Add   Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors: Коломеец, Антон Владимирович
Type: авторефераты диссертаций
Date: 2010
Add   Решение параллельных уравнений для ω-языков
Authors: Бушков, Виктор Георгиевич | Евтушенко, Нина Владимировна
Source: Прикладная дискретная математика. 2010. № 2. С. 117-123
Type: статьи в журналах
Date: 2010
Add   К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов
Authors: Акеньшина, Екатерина Алексеевна | Шабалдина, Наталия Владимировна
Source: Прикладная дискретная математика. 2009. № 3(5). С. 106-111
Type: статьи в журналах
Date: 2009
Add   Недетерминированные автоматы: анализ и синтез : [учебное пособие]. Ч. 2
Authors: Евтушенко, Нина Владимировна | Рекун, М. В. | Тихомирова, Светлана Владимировна
Type: учебные издания
Date: 2009
Add   Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Authors: Громов, Максим Леонидович
Type: авторефераты диссертаций
Date: 2009
Add   Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
Authors: Громов, Максим Леонидович | Евтушенко, Нина Владимировна
Source: Прикладная дискретная математика. 2009. № 4. С. 90-101
Type: статьи в журналах
Date: 2009
Add   Оптимизация многокомпонентных дискретных систем на основе решения автоматных уравнений : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors: Тихомирова, Светлана Владимировна
Type: авторефераты диссертаций
Date: 2008
Add   Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors: Дорофеева, Маргарита Юрьевна
Type: авторефераты диссертаций
Date: 2007
Add   Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата
Authors: Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 62-66
Type: статьи в сборниках
Date: 2006
Add   О верхней оценке длины разделяющей последовательности
Authors: Евтушенко, Нина Владимировна | Спицына, Наталия Владимировна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 54-58
Type: статьи в сборниках
Date: 2006
Add   Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов
Authors: Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 59-62
Type: статьи в сборниках
Date: 2006

Creator

Date

Subject

Resource Type

^