Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

1997

Артикул:

1000169505

179 грн

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

• 
• 
• 

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

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