Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика"
| Published in: | Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участием С. 50 |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Book Chapter |
| Language: | Russian |
| Subjects: | |
| Online Access: | Перейти в каталог НБ ТГУ |