Материалов:
980 144

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

Авторов:
596 024

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

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

Реализация, верификация и тестирование управляющих систем на базе микроконтроллеров с использованием временных автоматов: магистерская диссертация по направлению подготовки: 03.04.03 - Радиофизика

Сравнение производительности различных реализаций самообучающихся моделей на примере задачи классификации

Реализация и тестирование системы сигнализации на базе микроконтроллера STM32F407VG

Использование логических схем в задачах анализа и синтеза компонентов телекоммуникационных систем: научный доклад по направлению подготовки: 09.06.01 - Информатика и вычислительная техника

Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов

Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.

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

Использование временных автоматов при тестировании киберфизических систем

Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.

Проверка свойств конечных автоматов с помощью набора инструментов mCRL2

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