Материалов:
875 618

Репозиториев:
30

Авторов:
596 024

По вашему запросу найдено документов: 25559

Страница 3 из 2556

К минимизации автоматов с временными ограничениями

Различающие эксперименты с неинициальными недетерминированными автоматами

Параллельная композиция конечных автоматов с таймаутами

Решение параллельных уравнений для ω-языков

Решение автоматных уравнений для временных автоматов относительно параллельной композиции

Синтез условных различающих экспериментов для автоматов с недетерминированным поведением

Синтез условных синхронизирующих экспериментов для недетерминированных автоматов

Частные решения уравнений для временных автоматов с таймаутами

Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов

К масштабируемому моделированию влияния стресса на сердечно-сосудистые и онкологические заболевания

Страница 3 из 2556