Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

1999

Артикул:

1000228958

179 грн

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

• 
• 
• 

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

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