По вашему запросу найдено документов: 683237
Страница 1 из 68324
К минимизации автоматов с таймаутамиК минимизации автоматов с таймаутами
К тестированию недетерминированных автоматов с таймаутами относительно неразделимостиК тестированию недетерминированных автоматов с таймаутами относительно неразделимости
Синтез установочных последовательностей для автоматов с таймаутамиСинтез установочных последовательностей для автоматов с таймаутами
Минимизация автоматов с таймаутами и временными ограничениями автомат с таймаутами и временными ограничениями, поведение которого совпадает с исходным временным
Минимизация временных автоматов с таймаутамиМинимизация временных автоматов с таймаутами
Conformance relations for finite state machines with timeoutsвременные автоматы с таймаутами
К построению проверяющих тестов для недетерминированных автоматов с тайм-аутамиК построению проверяющих тестов для недетерминированных автоматов с тайм-аутами
К минимизации автоматов с таймаутамиК минимизации автоматов с таймаутами
Deriving homing sequences for Finite State Machines with timeoutsконечные автоматы с таймаутами
Исследование отношения неразделимости для недетерминированных автоматов с тайм-аутамиИсследование отношения неразделимости для недетерминированных автоматов с тайм-аутами
Страница 1 из 68324
Фасеты
Новости проекта
Новости
-
2021-09-22, 21:09Cambridge University Press и Университет Вайоминга заключили соглашение об открытом доступе
-
2021-09-20, 21:07Журнал ION NAVIGATION переходит на открытый доступ с 1 января
-
2021-09-17, 11:39Журналы AAS полностью перейдут на модель открытого доступа
-
2021-09-15, 00:38Для перехода на зеленую энергию необходимо больше научной коммуникации
-
2021-09-12, 10:08Австралия отказалась от идеи запретить препринты
Партнеры
Индексация
