Алгоритмический метод проектирования автоматизированных систем контроля критических приложений
Zusammenfassung
Предложен метод проектирования автоматизированных систем контроля (АСК), основанный на алгоритмической алгебре. Эффективность разработанного метода связана с использованием при создании
АСК для критических приложений теории рекурсивных автоматов. Запропоновано метод проектування автоматизованих систем контролю (АСК), що ґрунтується на алгоритмічній алгебрі. Ефективність розробленого методу пов'язані з використанням під час створення АСК для критичних додатків теорії рекурсивних автоматів.