Ви є тут

Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня

Автор: 

Чурина Татьяна Геннадьевна

Тип роботи: 

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

Рік: 

2000

Артикул:

1000294885

179 грн

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

• 
• 
• 

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

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