По вашему запросу найдено документов: 12149
Страница 1 из 1215
К минимизации автоматов с таймаутамивременные автоматы
О минимизации временных автоматовконечные автоматы
Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01.конечные автоматы
Программная реализация преобразования глобального полуавтомата во временной автоматконечные автоматы
Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автоматавременные автоматы
Параллельная композиция конечных автоматов с таймаутамиконечные автоматы
Minimizing deterministic timed finite state machinesконечные автоматы
Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматовконечные автоматы
Страница 1 из 1215
Фасеты
Новости проекта
Новости
-
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Австралия отказалась от идеи запретить препринты
Партнеры
Индексация
