Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

2012

Артикул:

1005506694

179 грн

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

• 
• 
• 

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

• Математическое и программное обеспечение системы анализа динамики земной поверхности по данным дистанционного зондирования Земли
• Математическое и программное обеспечение иерархического моделирования и проектирования сложных вычислительных систем
• Локальная вычислительная сеть системы управления вузом
• Разработка и исследование методов синтеза параллельных алгоритмов для многопроцессорных систем со структурно-процедурной организацией вычислений
• Методы и средства программного моделирования для обеспечения процесса проектирования микропроцессорных систем
• Математические модели и алгоритмы расчета предельных возможностей стационарных тепломеханических систем
• Математическое и программное обеспечение многоролевых человеко-машинных интерфейсов для ситуационного управления сложными организационно-техническими объектами : на примере грузовой железнодорожной станции
• Создание прототипа интегрированного пакета оценки трудоемкости программного обеспечения
• Исследование и разработка основных архитектурных решений современных медицинских информационных систем
• Методы поиска графической информации в информационных системах