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

Add to Quick Collection   All 12 Results

Showing items 1 - 12 of 12.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений
Authors: Широкова, Екатерина Владимировна | Евтушенко, Нина Владимировна
Source: Современная наука: актуальные проблемы теории и практики. Серия : Естественные и технические науки. 2023. № 8. С. 143-150
Type: статьи в журналах
Date: 2023
Description: Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений Веб-сервис представляет собой программную систему, обеспечивающую взаимодействие между поставщиком услуги и ее пользов ... More
Add   Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 75-76
Type: статьи в сборниках
Date: 2022
Add   Синтез установочных последовательностей для автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 138-
Type: статьи в сборниках
Date: 2020
Add   К синтезу адаптивных различающих последовательностей для конечных автоматов
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Труды Института системного программирования РАН. 2018. Т. 30, вып. 4. С. 139-154
Type: статьи в журналах
Date: 2018
Description: Конечные автоматы широко используются при построении проверяющих тестов для управляющих систем с гарантированной полнотой обнаружения неисправностей. В ряде случаев такие тесты достигают экспоненциаль ... More
Add   Использование временных автоматов при тестировании киберфизических систем
Authors: Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Лапутенко, Андрей Владимирович
Source: Известия высших учебных заведений. Физика. 2016. Т. 59, № 12. С. 174-176
Type: статьи в журналах
Date: 2016
Add   Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 107-110
Type: статьи в журналах
Date: 2015
Add   О сложности проверки существования установочных последовательностей для недетерминированных автоматов
Authors: Кушик, Наталья Геннадьевна | Кулямин, Виктор Вячеславович | Евтушенко, Нина Владимировна
Source: Программирование. 2014. № 6. С. 48-53
Type: статьи в журналах
Date: 2014
Add   Параллельная композиция конечных автоматов с таймаутами
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2. С. 73-81
Type: статьи в журналах
Date: 2014
Add   Использование свойств мутационных автоматов для минимизации проверяющих тестов
Authors: Эль-Факи, Калед | Евтушенко, Нина Владимировна | Дорофеева, Маргарита Юрьевна
Source: Программирование. 2012. № 4. С. 17-28
Type: статьи в журналах
Date: 2012
Add   Недетерминированные автоматы: анализ и синтез : [учебное пособие]. Ч. 2
Authors: Евтушенко, Нина Владимировна | Рекун, М. В. | Тихомирова, Светлана Владимировна
Type: учебные издания
Date: 2009
Add   Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов
Authors: Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 59-62
Type: статьи в сборниках
Date: 2006
Add   Характеризация живых решений синхронного автоматного уравнения
Authors: Вилла, Тизиано | Евтушенко, Нина Владимировна | Жарикова, Светлана Владимировна
Source: Вестник Томского государственного университета. 2003. № 278. С. 129-133
Type: статьи в журналах
Date: 2003
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^