Normal view
MARC view
Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика" И. М. Дмитриев, М. В. Жигулин, Д. Д. Попов
Material type:
ArticleSubject(s): информационные технологии | конечные автоматы | автоматы временные | труды ученых ТГУ | проверяющие тесты | алгоритмы
In:
Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участием С. 50
No physical items for this record
Библиогр.: 4 назв.
There are no comments on this title.