Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 / Коломеец Антон Владимирович
Захавана ў:
| Тып дакумента: | |
|---|---|
| Аўтар: | Коломеец, А. В. |
| Апублікавана: | Томск , 2010 |
| Фізіч. характарыстыкі: |
18 с.
|
| Мова: | Руская |
| Прадмет: |
ОФХ отдела книгохранения
| Усяго : 1 , даступна: 1 | Даступна Замовіць | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||