Add to Quick Collection
All 43 Results
Showing items 1 - 15 of 43.
Add All Items to Quick Collection
Source: Современная наука: актуальные проблемы теории и практики. Серия : Естественные и технические науки. 2023. № 8. С. 143-150
Type: статьи в журналах
Date: 2023
Description:
Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений Веб-сервис представляет собой программную систему, обеспечивающую взаимодействие между поставщиком услуги и ее пользов
... More
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 75-76
Type: статьи в сборниках
Date: 2022
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 69-70
Type: статьи в сборниках
Date: 2022
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 142
Type: статьи в сборниках
Date: 2020
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 138-
Type: статьи в сборниках
Date: 2020
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 85-86
Type: статьи в сборниках
Date: 2018
Source: Труды Института системного программирования РАН. 2018. Т. 30, вып. 4. С. 139-154
Type: статьи в журналах
Date: 2018
Description:
Конечные автоматы широко используются при построении проверяющих тестов для управляющих систем с гарантированной полнотой обнаружения неисправностей. В ряде случаев такие тесты достигают экспоненциаль
... More
Type: монографии
Date: 2018
Description:
Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и п
... More
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 70-71
Type: статьи в сборниках
Date: 2018
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 6. С. 730-742
Type: статьи в журналах
Date: 2017
Description:
В работе рассматриваются задачи проверки существования и синтеза синхронизирующих и установочных последовательностей для конечных входо-выходных полуавтоматов. Соответствующие последовательности могут
... More
Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 4. С. 139-154
Type: статьи в журналах
Date: 2017
Description:
Конечные автоматы широко используются для анализа и синтеза управляющих систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и в
... More
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 11. С. 146-151
Type: статьи в журналах
Date: 2017
Description:
Данная статья является продолжением исследований по построению качественных верификационных тестов для проверки цифровых компонентов, используемых в различных физических системах, таких, как, например
... More
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 4. С. 496-507
Type: статьи в журналах
Date: 2017
Description:
В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необходимость в распространении автоматных м
... More
Source: Известия высших учебных заведений. Физика. 2016. Т. 59, № 12. С. 174-176
Type: статьи в журналах
Date: 2016
Source: Известия высших учебных заведений. Физика. 2016. Т. 59, № 8. С. 134-139
Type: статьи в журналах
Date: 2016
Description:
Рассматривается актуальная задача эффективной верификации цифровых компонентов, используемых в различных физических системах, начиная от встраиваемых датчиков и сенсоров и заканчивая современными сред
... More
