Полное описание

Жигулин, М. В. Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореф. дис. ... канд. техн. наук: 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

Заказать издание
Заказ фрагмента документа ₽