Ви є тут

Разработка математического и программного обеспечения генерации тестовых последовательностей и верификации сложных цифровых схем

Автор: 

Зизин Георгий Валентинович

Тип роботи: 

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

Рік: 

1999

Артикул:

1000259646

179 грн

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

• 
• 
• 

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

• Комплекс алгоритмов генерации композиций для построения систем поддержки принятия решений
• Алгоритмическое и программное обеспечение геоинформационной системы для решения задач управления сетями инженерных коммуникаций
• Моделирование процессов динамического связывания Web-сервисов
• Разработка метаматического и программного обеспечения поддержки сложных проектов в распределенной вычислительной среде : На примере мониторной системы интегрированной САПР
• Восстановление форматов сетевых сообщений и файлов по бинарным трассам программ
• Разработка и исследование методов и средств структурных испытаний программ
• Комплекс программных средств разработки и поддержки информационного портала корпоративной системы
• Тестирование на основе формальных спецификаций в процессах разработки программных комплексов
• Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри
• Вычислительная технология метода конечных объемов