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

Add to Quick Collection   All 4 Results

Showing items 1 - 4 of 4.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Синтез установочных последовательностей для автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 138-
Type: статьи в сборниках
Date: 2020
Add   О возможностях автоматного описания параллельной композиции временных автоматов
Authors: Твардовский, Александр Сергеевич | Лапутенко, Андрей Владимирович
Source: Труды Института системного программирования РАН. 2018. Т. 30, вып. 1. С. 25-40
Type: статьи в журналах
Date: 2018
Description: Конечные автоматы широко используются для анализа и синтеза дискретных систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вв ... More
Add   Минимизация автоматов с таймаутами и временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Громов, Максим Леонидович
Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 4. С. 139-154
Type: статьи в журналах
Date: 2017
Description: Конечные автоматы широко используются для анализа и синтеза управляющих систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и в ... More
Add   К минимизации автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 62-63
Type: статьи в сборниках
Date: 2016
  • «
  • ←
  • 1
  • →
  • »
^