Якимец Н. В. Отказоустойчивые цифровые системы управления с программируемой логикой на основе частично работоспособных автоматов: модели и реализация / Н. В. Якимец, В. С. Харченко // Системи оброб. інформації. - 2007. - Вип. 4. - С. 134-138. - Библиогр.: 3 назв. - рус.
Рассмотрены понятия определенности и корректности цифрового автомата. Предложены методы проектирования отказоустойчивых цифровых систем с программируемой логикой на основании частично определенных и частично корректных автоматов, которые синтезируются с помощью генетических алгоритмов.