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

Add to Quick Collection   All 6 Results

Showing items 1 - 6 of 6.
  • «
  • 1
  • »
Sort:
 Add All Items to Quick Collection
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 133
Type: статьи в сборниках
Date: 2020
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 48. С. 83-91
Type: статьи в журналах
Date: 2019
Description: Рассматривается задача построения параллельной композиции двух взаимодействующих компонент, к одной из которых нет внешнего доступа. Поведение каждой компоненты описывается расширенным автоматом. Иссл ... More
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 81-82
Type: статьи в сборниках
Date: 2018
Authors: Prokopenko, S.
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 47-55
Type: статьи в журналах
Date: 2014
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2008. № 3. С. 110-118
Type: статьи в журналах
Date: 2008
Description: В данной работе предлагается метод построения проверяющего теста для расширенного автомата на основе различающих последовательностей в специальном срезе автомата исходного расширенного автомата, т.е. ... More
  • «
  • 1
  • »
^