Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

1997

Артикул:

1000169505

179 грн

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

• 
• 
• 

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

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