Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов	337 KB	Adobe Acrobat PDF	Read	Download

Title: Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
Title: Solving analysis and synthesis problems for timed finite state machines based on their fsm abstractions
Creator: Твардовский, Александр Сергеевич
|
Евтушенко, Нина Владимировна
Date: 2022

Relationships: Show Relationship Browser for this Object
collection(s): Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в сборниках
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 75-76
Language: rus

Created: 18-01-2023

276 Visitors

185 Hits

95 Downloads

Институт прикладной математики и компьютерных наук (c 01.09.2017 г.) Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов