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

Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 138-

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

Date: 2020

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

Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 4. С. 139-154

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

Date: 2017

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