TY  - BOOK
AU  - Тренькаев,Вадим Николаевич
AU  - Прокопенко,Светлана Анатольевна
ED  - Томский государственный университет
TI  - Методы синтеза полных проверяющих тестов для детерминированных автоматов: учебно-методическое пособие
PY  - 2004///
CY  - Томск
PB  - [б. и.]
KW  - учебные пособия для вузов
KW  - автоматы детерминированные
KW  - синтез тестов проверяющих полных
KW  - математические модели
KW  - автоматы конечные
KW  - автоматы эталонные
KW  - модель неисправности автомата
KW  - тесты проверяющие переборные
KW  - Василевского метод
KW  - метод гармонизированных идентификаторов
KW  - метод на базе функции неисправности
KW  - неисправности переходов автомата
KW  - неисправности выходные автомата
N1  - Библиогр.: с. 33-34
ER  -