По вашему запросу найдено документов: 60376
Страница 1 из 6038
Динамическая верификация баз знаний систем, методы и принципы динамической верификации и валидации баз знаний интеллектуальных систем, их
Верификация автоматных VHDL-моделей взаимодействующих цифровых системВерификация автоматных VHDL-моделей взаимодействующих цифровых систем
Анализ и верификация SDL-спецификаций распределенных систем с помощью языка Dynamic-REAL для моделирования, анализа и верификации SDL-спецификаций распределенных систем. Он включает
Верификация аппаратно-программного комплекса для обеспечения целостности сигналов при проектировании вычислительных систем научных и инженерных задач предлагаются научные решения по проектированию вычислительных систем с
Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестированияДостаточно часто цифровые компоненты современных физических систем проектируются с применением
Верификация проектов и построение тестов контроля СБИС на уровне RTL систем, описанных на языке VHDL. Предлагается метод верификации проектов и направленного построения
Верификация баз знаний интеллектуальных системВ работе рассматриваются принципы и методы верификаци баз знаний интеллектуальных систем, а
так же
Верификация баз знаний интеллектуальных обучающих системВ работе рассматриваются принципы и методы верификации баз знаний обучающих интеллектуальных систем
Страница 1 из 6038
Фасеты
Партнеры
Индексация
