Ви є тут

Методы спецификации и верификации параллельных моделей с непрерывным временем

Автор: 

Покозий Екатерина Александровна

Тип роботи: 

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

Рік: 

1999

Артикул:

1000228958

179 грн

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

• 
• 
• 

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

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