Математические основы надежности вычислительных и управляющих систем

К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов

Е. А. Акеньшина, Н. В. Шабалдина


УДК: 519.713