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

Построение проверяющих тестов для робастных неисправностей задержек путей в схемах, синтезированных по системе ROBDD-графов

Е. А. Николаева, А. Ю. Матросова


УДК: 681.324.7