Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

1997

Артикул:

1000169505

179 грн

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

• 
• 
• 

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

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