Материалов:
678 583

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

Авторов:
475 470

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

Страница 1 из 2146

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

О верхней оценке длины разделяющей последовательности

О синхронной композиции детерминированных автоматов

К установке сложных систем в известное состояние

К построению подавтоматов без слияний для недетерминированных конечных автоматов

Декомпозиция конечных автоматов

Использование свойств мутационных автоматов для минимизации проверяющих тестов

О сложности проверки существования установочных последовательностей для недетерминированных автоматов

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

Синтез установочных последовательностей для автоматов с таймаутами

Страница 1 из 2146