С 43 |
Скляревич, А. Н. Основы логических методов проверки автоматов [Текст] / А. Н. Скляревич ; АН Лат. ССР. Ин-т электроники и выч. техники. – Рига : Зинатне, 1979. – 192 с. – 1500.
Рассмотрена абстрактная модель логического устройства-автомат с возможными нарушениями. Она используется при решении задач проверки работоспособности устройств, установлении технического состояния, анализе возможностей устройств, их синтезе. Модель позволяет применять аппарат булевой алгебры. |