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