Вы здесь

Верификация С-программ с помощью смешанной аксиоматической семантики

Автор: 

Марьясов Илья Владимирович

Тип работы: 

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

Год: 

2012

Артикул:

1005480343

179 грн

Добавить в корзину

• 
• 
• 

Рекомендуемые диссертации

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