Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.

Связанные документы (рекомендация CORE)