Электронная библиотека (репозиторий) Томского государственного университета
статьи в журналах | Евтушенко, Нина Владимировна

Add to Quick Collection   All 17 Results

Showing items 1 - 15 of 17.
Sort:
 Add All Items to Quick Collection
Add   К масштабируемому моделированию влияния стресса на сердечно-сосудистые и онкологические заболевания
Authors: Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна | Жукова, Наталья Григорьевна | Кжышковска, Юлия Георгиевна | Савельева, Ольга Евгеньевна | Форостьянова, Мария Сергеевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 37-39
Type: статьи в журналах
Date: 2015
Add   Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 107-110
Type: статьи в журналах
Date: 2015
Add   К минимизации автоматов с временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 4. С. 77-83
Type: статьи в журналах
Date: 2014
Add   Моделирование процесса высокотемпературного горения на основе клеточных автоматов
Authors: Попов, Александр Сергеевич | Тригуб, Максим Викторович | Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2014. Т. 57, № 6. С. 119-126
Type: статьи в журналах
Date: 2014
Add   О сложности проверки существования установочных последовательностей для недетерминированных автоматов
Authors: Кушик, Наталья Геннадьевна | Кулямин, Виктор Вячеславович | Евтушенко, Нина Владимировна
Source: Программирование. 2014. № 6. С. 48-53
Type: статьи в журналах
Date: 2014
Add   Параллельная композиция конечных автоматов с таймаутами
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2. С. 73-81
Type: статьи в журналах
Date: 2014
Add   Решение автоматных уравнений для временных автоматов относительно параллельной композиции
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 85-98
Type: статьи в журналах
Date: 2014
Add   К комплексной оценке удовлетворенности конечного пользователя качеством обслуживания в телекоммуникационных системах
Authors: Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 165-167
Type: статьи в журналах
Date: 2013
Add   К синтезу проверяющих тестов для недетерминированных автоматов относительно редукции
Authors: Евтушенко, Нина Владимировна | Петренко, Александр Федорович
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 151-155
Type: статьи в журналах
Date: 2013
Add   Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата
Authors: Жигулин, Максим Владимирович | Коломеец, Антон Владимирович | Евтушенко, Нина Владимировна | Прокопенко, Светлана Анатольевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 200-202
Type: статьи в журналах
Date: 2013
Add   Использование свойств мутационных автоматов для минимизации проверяющих тестов
Authors: Эль-Факи, Калед | Евтушенко, Нина Владимировна | Дорофеева, Маргарита Юрьевна
Source: Программирование. 2012. № 4. С. 17-28
Type: статьи в журналах
Date: 2012
Add   К установке сложных систем в известное состояние
Authors: Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 12. С. 111-113
Type: статьи в журналах
Date: 2012
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. № 4. С. 93-101
Type: статьи в журналах
Date: 2011

Creator

Date

Subject

^