Authors: Лапутенко, Андрей Владимирович | Винарский, Евгений Максимович | Твардовский, Александр Сергеевич

Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 74-75

Type: статьи в сборниках

Date: 2022

Authors: Твардовский, Александр Сергеевич | Лапутенко, Андрей Владимирович

Source: Труды Института системного программирования РАН. 2018. Т. 30, вып. 1. С. 25-40

Type: статьи в журналах

Date: 2018

Description: Конечные автоматы широко используются для анализа и синтеза дискретных систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вв ... More