Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Book |
| Language: | Russian |
| Published: |
Томск
[б. и.]
2012
|
| Subjects: | |
| Online Access: | Перейти в каталог НБ ТГУ |