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