Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов: Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/
| Главный автор: | |
|---|---|
| Соавтор: | |
| Другие авторы: | |
| Формат: | Книга |
| Язык: | Russian |
| Публикация: |
Томск
2010
|
| Предметы: | |
| Online-ссылка: | https://viewer.rsl.ru/ru/rsl01004610145?page=1&rotate=0&theme=white Перейти в каталог Библиотеки ТУСУР |
| Объем: | 18 с. |
|---|---|
| Библиография: | Библиогр.: с. 17-18 |