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

Add to Quick Collection   All 10 Results

Showing items 1 - 10 of 10.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 75-76
Type: статьи в сборниках
Date: 2022
Add   Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна (научный руководитель)
Type: диссертации
Date: 2019
Add   Minimizing deterministic timed finite state machines
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V. | Villa, Tiziano | Gromov, Maxim L. | Bresolin, Davide
Source: IFAC-PapersOnLine. 2018. Vol. 51, № 7. P. 486-492
Type: статьи в журналах
Date: 2018
Description: Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends ... More
Add   Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
Authors: Твардовский, Александр Сергеевич
Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.. Томск, 2018. С. 11-13
Type: статьи в сборниках
Date: 2018
Add   Программная реализация преобразования глобального полуавтомата во временной автомат
Authors: Сотников, Александр Павлович
Source: Труды Четырнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-18 мая 2017 г.. Томск, 2017. С. 86-89
Type: статьи в сборниках
Date: 2017
Add   Использование временных автоматов при тестировании киберфизических систем
Authors: Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Лапутенко, Андрей Владимирович
Source: Известия высших учебных заведений. Физика. 2016. Т. 59, № 12. С. 174-176
Type: статьи в журналах
Date: 2016
Add   К минимизации автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 62-63
Type: статьи в сборниках
Date: 2016
Add   Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде
Authors: Белых, Виталий Сергеевич | Шабалдина, Наталия Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 44-45
Type: статьи в сборниках
Date: 2016
Add   О минимизации временных автоматов
Authors: Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 41-42
Type: статьи в сборниках
Date: 2014
Add   Параллельная композиция конечных автоматов с таймаутами
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2. С. 73-81
Type: статьи в журналах
Date: 2014
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^