Верификация проектов и построение тестов контроля СБИС на уровне RTL задачи к решению КНФ – выполнимости полученной
системы булевых функций. Решается также задача верификации
Информационные системы как интеллектуальный инструмент управленияИнформационные
системы как интеллектуальный инструмент управления
Информационные технологии и системы 2019 (ИТС 2019) : материалы конференции технологии и
системы 2019» (
ИТС 2019). Сборник предназначен для преподавателей высших учебных заведений
Информационные технологии и системы 2021 (ИТС 2021) : материалы конференции технологии и
системы 2021» (
ИТС 2021). Сборник предназначен для преподавателей высших учебных заведений
Информационные технологии и системы 2022 (ИТС 2022) : материалы конференций технологии и
системы 2022" (
ИТС 2022). Сборник предназначен для преподавателей высших учебных заведений
Информационные технологии и системы 2020 (ИТС 2020) : материалы конференции технологии и
системы 2020» (
ИТС 2020). Сборник предназначен для преподавателей высших учебных заведений
Интеллектуальные транспортные системы в автомобильных перевозкахИнтеллектуальные транспортные системы в автомобильных перевозках
Интеллектуальные транспортные системы для регулирования безопасной скорости движенияИнтеллектуальные транспортные системы для регулирования безопасной скорости движения