Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов

Томский государственный университет, Томск

121 стр.

Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов — Жигулин, Максим Владимирович — 2012 — Российская библиотека диссертаций