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

Add to Quick Collection   All 41 Results

Showing items 16 - 30 of 41.
Sort:
 Add All Items to Quick Collection
Add   Решение автоматных уравнений для временных автоматов относительно параллельной композиции
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 85-98
Type: статьи в журналах
Date: 2014
Add   Эвристический алгоритм оценки числа состояний асинхронного МС-потока событий
Authors: Беккерман, Екатерина Николаевна | Горцев, Александр Михайлович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 3. С. 20-31
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. С. 226-228
Type: статьи в журналах
Date: 2013
Add   Пакет программ для моделирования физических процессов на основе клеточных автоматов
Authors: Попов, Александр Сергеевич | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 190-192
Type: статьи в журналах
Date: 2013
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. С. 200-202
Type: статьи в журналах
Date: 2013
Add   Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами
Authors: Шатилов, Никита Петрович | Громов, Максим Леонидович
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 174-176
Type: статьи в журналах
Date: 2013
Add   FSM-based testing from user defined faults adapted to incremental and mutation testing
Authors: Dorofeeva, R. | Yevtushenko, Nina V. | Bochmann, G. V. | El-Fakih, K. A.
Source: Programming and computer software. 2012. Vol. 38, № 4. P. 201-209
Type: статьи в журналах
Date: 2012
Add   Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability
Authors: Kushik, Natalia G.
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 8/3. С. 242-243
Type: статьи в журналах
Date: 2012
Add   On reducing test length for FSMs with extra states
Authors: Simao, Adenilso da Silva | Petrenko, Alexandre F. | Yevtushenko, Nina V.
Source: Software Testing Verification and Reliability. 2012. Vol. 22, № 6. P. 435-454
Type: статьи в журналах
Date: 2012
Add   Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs
Authors: Hwang, Iksoon | Yevtushenko, Nina V. | Cavalli, Ana
Source: Information processing letters. 2012. Vol. 112, № 7. P. 298-301
Type: статьи в журналах
Date: 2012
Add   Использование свойств мутационных автоматов для минимизации проверяющих тестов
Authors: Эль-Факи, Калед | Евтушенко, Нина Владимировна | Дорофеева, Маргарита Юрьевна
Source: Программирование. 2012. № 4. С. 17-28
Type: статьи в журналах
Date: 2012

Creator

Date

Subject

^