Контент с тегом формальные методы .

КриКТехС 2010-5

Очередное заседание семинара состоится 16 декабря 2010 г. в 15.00  в ауд. 238 радиокорпуса ХАИ. Тема заседания : Риск-анализ и формальные методы в задачах анализа влияния надежности программных средств и процессов на безопасность человеко-машинных систем. Доклады: Безопасность ракетно-космической техники и надежность компьютерных систем: анализ аварий в...

Навигация по категориям

Докладчики