Материалов:
1 005 012

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

Авторов:
761 409

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

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

Об обратимости конечных автоматов с конечной задержкой
Катеринский, Денис Аркадьевич
конечные автоматы
Синтез установочных последовательностей для автоматов с таймаутами
Твардовский, Александр Сергеевич, Евтушенко, Нина Владимировна
конечные автоматы
Использование временных автоматов при тестировании киберфизических систем
Громов, Максим Леонидович, Евтушенко, Нина Владимировна, Лапутенко, Андрей Владимирович
конечные автоматы
Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
Твардовский, Александр Сергеевич
конечные автоматы
Использование свойств мутационных автоматов для минимизации проверяющих тестов
Эль-Факи, К., Евтушенко, Нина Владимировна, Дорофеева, Маргарита Юрьевна
конечные автоматы
О сложности проверки существования установочных последовательностей для недетерминированных автоматов
Кушик, Наталья Геннадьевна, Кулямин, Виктор Вячеславович, Евтушенко, Нина Владимировна
конечные автоматы
Locating a faulty component of an EFSM composition
Prokopenko, S.
конечные автоматы
К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов
Михайлова, Александра Николаевна, Болтова, Виктория Сергеевна, Прокопенко, Светлана Анатольевна, Шабалдина, Наталия Владимировна
конечные автоматы
Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде
Белых, Виталий Сергеевич, Шабалдина, Наталия Владимировна
конечные автоматы
О синхронной композиции детерминированных автоматов
Евтушенко, Нина Владимировна, Косачев, Александр Сергеевич, Шнитман, Виктор Зиновьевич, Бурдонов, Игорь Борисович
детерминированные автоматы

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

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core