Условия контроля автоматов "почти" обходами
Published in: | Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участием С. 51 |
---|---|
Main Author: | Козловский, В. А. |
Other Authors: | Копытова, О. М. |
Format: | Book Chapter |
Language: | Russian |
Subjects: | |
Online Access: | Перейти в каталог НБ ТГУ |
Similar Items
-
Динамика коллективов автоматов в среде
by: Курганский, Алексей Николаевич -
К оптимизации последовательной композиции структурных автоматов
by: Яичников, В. А. -
О выполнимости предикатов при синтезе тестов с гарантированной полнотой для расширения конечных автоматов
by: Михайлов, Ю. В. -
Параллельная композиция временных автоматов
by: Кондратьева, Ольга Викторовна -
Модификация метода построения тестов для конечных автоматов относительно неразделимости
by: Акеньшина, Е. А.