Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

2000

Артикул:

1000294885

179 грн

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

• 
• 
• 

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

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