По вашему запросу найдено документов: 15059
Страница 1 из 1506
Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01.временные автоматы. классы
К минимизации автоматов с таймаутамивременные автоматы
О минимизации временных автоматоввременные автоматы
Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автоматавременные автоматы
К тестированию недетерминированных автоматов с таймаутами относительно неразделимостиавтоматы временные
Программная реализация преобразования глобального полуавтомата во временной автоматвременные автоматы
Минимизация временных автоматов с таймаутамиавтоматы временные
Conformance relations for finite state machines with timeoutsвременные автоматы
Страница 1 из 1506
Фасеты
Новости проекта
Новости
-
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Австралия отказалась от идеи запретить препринты
Партнеры
Индексация
