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