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

Add to Quick Collection   All 9 Results

Showing items 1 - 9 of 9.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
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. № 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: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 3. С. 20-31
Type: статьи в журналах
Date: 2014
  • «
  • ←
  • 1
  • →
  • »

Creator

Subject

^