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

Add to Quick Collection   All 10 Results

Showing items 1 - 10 of 10.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
Authors: Громов, Максим Леонидович | Лапутенко, Андрей Владимирович
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 65-69
Type: статьи в журналах
Date: 2015
Add   Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 107-110
Type: статьи в журналах
Date: 2015
Add   Тестирование в контексте для реализации протокола TCP на основе автоматных моделей
Authors: Щипачев, Никита Михайлович | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 115-118
Type: статьи в журналах
Date: 2015
Add   A practical approach for testing timed deterministic finite state machines with single clock
Authors: El-Fakih, Khaled | Yevtushenko, Nina V. | Simao, Adenilso da Silva
Source: Science of Computer Programming. 2014. Vol. 80, Part B. P. 343-355
Type: статьи в журналах
Date: 2014
Add   A TEFSM-based framework for QoE evaluation of OTT services
Authors: Rivera, D. | Fuenzalida, C. | Cavalli, Ana | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 17-30
Type: статьи в журналах
Date: 2014
Add   Locating a faulty component of an EFSM composition
Authors: Prokopenko, S.
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 47-55
Type: статьи в журналах
Date: 2014
Add   О сложности проверки существования установочных последовательностей для недетерминированных автоматов
Authors: Кушик, Наталья Геннадьевна | Кулямин, Виктор Вячеславович | Евтушенко, Нина Владимировна
Source: Программирование. 2014. № 6. С. 48-53
Type: статьи в журналах
Date: 2014
Add   Параллельная композиция конечных автоматов с таймаутами
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2. С. 73-81
Type: статьи в журналах
Date: 2014
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   Использование свойств мутационных автоматов для минимизации проверяющих тестов
Authors: Эль-Факи, Калед | Евтушенко, Нина Владимировна | Дорофеева, Маргарита Юрьевна
Source: Программирование. 2012. № 4. С. 17-28
Type: статьи в журналах
Date: 2012
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

^