По вашему запросу найдено документов: 1253
Страница 8 из 126
Анализ и верификация SDL-спецификаций распределенных систем с помощью языка Dynamic-REALАнализ и верификация SDL-спецификаций распределенных систем с помощью языка Dynamic-REAL
Этиологическая структура и проявления эпидемического процесса сальмонеллезовЭтиологическая структура и проявления эпидемического процесса сальмонеллезов
Клинико-этиологическая характеристика обструктивного бронхита у детей (по материалам областной инфекционной клинической больницы г. Белгорода)Клинико-этиологическая характеристика обструктивного бронхита у детей (по материалам областной
Этиологическая структура хронического гастрита у детей, больных ювенильным хроническим артритомЭтиологическая структура хронического гастрита у детей, больных ювенильным хроническим артритом
Верификация математической модели промерзания и оттаивания грунта с использованием данных метеостанцийВерификация математической модели промерзания и оттаивания грунта с использованием данных
Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестированияЭффективная верификация цифровых компонентов физических систем с использованием мутационного
Создание среды верификации VHDL модели микросхемы бесконтактной идентификациифункциональная верификация
Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФверификация
Страница 8 из 126
Фасеты
Партнеры
Индексация
