Полное описание
> Жигулин, М. В. Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореф. дис. ... канд. техн. наук: 05.13.01 / М. В. Жигулин. - 2012. - 19 с. - Библиогр.: с. 18-19 (10 назв.). - Текст : непосредственный.
ГРНТИ | УДК | |
50.43.17 | 681.51.015.4-048.24(043) |
Кл.слова (ненормированные): АВТОМАТИЧЕСКИЕ СИСТЕМЫ ДИСКРЕТНЫЕ -- ВРЕМЕННЫЕ АВТОМАТЫ -- ТЕСТИРОВАНИЕ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар12-15772)>
Шифр в сводном ЭК: dbafd271624ef78d328928c94bfaaa6f
Заказ фрагмента документа ₽