Ви є тут

Исследование и разработка методов верификации протоколов распределенных систем на основе бисимуляционной эквивалентности сетей Петри

Автор: 

Поступальский Павел Алексеевич

Тип роботи: 

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

Рік: 

1997

Артикул:

1000169505

179 грн

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

• 
• 
• 

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

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