Normal view
MARC view
О выполнимости предикатов при синтезе тестов с гарантированной полнотой для расширения конечных автоматов Ю. В. Михайлов
Material type: ArticleSubject(s): информационные технологии | информационные системы | предикаты | автоматы конечные | труды ученых ТГУ | тесты | автоматы расширенные | линейных неравенств системы In: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участием С. 58No physical items for this record
Библиогр.: 3 назв.
There are no comments on this title.