Ви є тут

Динамическая верификация цифровой аппаратуры на основе формальных спецификаций

Автор: 

Чупилко Михаил Михайлович

Тип роботи: 

Кандидатская

Рік: 

2012

Артикул:

1005506694

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Методы трехмерной реконструкции на основе разрезов на графах
• Объектно-ориентированный подход при создании программного обеспечения тренажеров для ядерной и тепловой энергетики
• Разработка архитектуры системы контроля доступа к распределенным корпоративным базам данных
• Программно-инструментальные средства для организации управления данными в учебно-методических процессах
• Исследование и разработка моделей и методов поиска информационных образовательных ресурсов в электронной библиотеке
• Тестирование на основе формальных спецификаций в процессах разработки программных комплексов
• Объектно-ориентированная среда для недоопределенных вычислений
• Согласованные эволюционные трансформации взаимозависимых слабоструктурированных и реляционных схем
• Методы и модели проектирования параллельных СУБД
• Инструментальная поддержка CASE-технологий