Полное описание
>
Жигулин, М. В. Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореф. дис. ... канд. техн. наук : 05.13.01 / М. В. Жигулин. - Томск : [б. и.], 2012. - 19 с. - Библиогр.: с. 18-19 (10 назв.). - Текст : непосредственный.
ГРНТИ | УДК | |
50.43.17 | 681.51.015.4-048.24(043) |
Кл.слова (ненормированные): автоматические системы дискретные -- тестирование -- временные автоматы>
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Заказ фрагмента документа ₽