Лях, Татьяна Викторовна; Зюбин, Владимир Евгеньевич; Гаранина, Наталья Олеговна; Liakh, Tatiana Viktorovna; Zyubin, Vladimir Evgenievich; Garanina, Natalia Olegovna
(2018-12)
Статья посвящена проблеме проверки алгоритмов управления, созданных в рамках процесс-ориентированного подхода, на соответствие входным спецификациям. Представлена общая схема верификации алгоритма управления, приведены ее ...