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

Add to Quick Collection   All 4 Results

Showing items 1 - 4 of 4.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Deriving homing sequences for Finite State Machines with timeouts
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: The computer journal. 2022. Vol. 66, № 9. P. 2181-2190
Type: статьи в журналах
Date: 2022
Description: State identification is the well-known problem in the automata theory that is aimed to determining the current or initial state of a system under test and this fact is widely used in the model-based t ... More
Add   Синтез установочных последовательностей для автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 138-
Type: статьи в сборниках
Date: 2020
Add   Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов
Authors: Винарский, Евгений Максимович | Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 141
Type: статьи в сборниках
Date: 2020
Add   К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов
Authors: Евтушенко, Нина Владимировна | Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич | Кушик, Наталья Геннадьевна
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 6. С. 730-742
Type: статьи в журналах
Date: 2017
Description: В работе рассматриваются задачи проверки существования и синтеза синхронизирующих и установочных последовательностей для конечных входо-выходных полуавтоматов. Соответствующие последовательности могут ... More
  • «
  • ←
  • 1
  • →
  • »
^