Контент с Докладчики Ходырев А.И. .
КриКТехС 2015-9
Очередное заседание семинара состоится 8 декабря (вторник) 2015 г., в 15:00 в аудитории 238 радиокорпуса Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт»
Тема заседания :
Математические методы оценивания надежности и безопасности программных систем
Доклады:
Моделі, методи та засоби аналізу надійності ...
КриКТехС 2010-5
Очередное заседание семинара состоится 16 декабря 2010 г. в 15.00 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Риск-анализ и формальные методы в задачах анализа влияния надежности программных средств и процессов на безопасность человеко-машинных систем. Доклады: Безопасность ракетно-космической техники и надежность компьютерных систем: анализ аварий в...