|
|
Гора, Н. Н.
Алгоритмический метод проектирования автоматизированных систем контроля для критических приложений [Text] !Otitkn.pft: FILE NOT FOUND! !oizd.pft: FILE NOT FOUND! !ospec.pft: FILE NOT FOUND! !oistaspk_H.pft: FILE NOT FOUND! Рубрикатор НБУВ: Тематичні рубрики:
Шифр журнала:
Кл.слова (ненормированные):
автоматизированная система контроля -- рекурсивный автомат -- алгоритмическая алгебра -- система критического применения
Анотація: Предложен метод проектирования автоматизированных систем контроля (АСК), основанный на алгоритмической алгебре. Эффективность разработанного метода связана с использованием при создании АСК для критических приложений теории рекурсивных автоматов. !oprip481_H.pft: FILE NOT FOUND!
Видання зберігається у :
|
|