Authors: Болтова, Виктория Сергеевна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна | Михайлова, Александра Николаевна

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

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

Date: 2020

Authors: Широкова, Екатерина Владимировна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 48. С. 83-91

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

Date: 2019

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

Authors: Дарусенкова, Екатерина Владимировна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна

Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 81-82

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

Date: 2018

Authors: Prokopenko, S.

Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 47-55

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

Date: 2014

Authors: Жигулин, Максим Владимирович | Коломеец, Антон Владимирович | Евтушенко, Нина Владимировна | Прокопенко, Светлана Анатольевна

Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 200-202

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

Date: 2013

Authors: Михайлов, Юрий Владимирович | Коломеец, Антон Владимирович

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2008. № 3. С. 110-118

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

Date: 2008

Description: В данной работе предлагается метод построения проверяющего теста для расширенного автомата на основе различающих последовательностей в специальном срезе автомата исходного расширенного автомата, т.е. ... More