« Назад

КриКТехС 2012-2

Очередное заседание семинара состоится 1 марта 2012 г. в 15.00 в ауд. 238 радиокорпуса ХАИ.

Тема заседания:

Оценка надежности и безопасности программных систем: вероятностные и Case-ориентированные методы.

Доклады:

  • Методы и компьютерные средства моделирования и оценки надежности программного обеспечения с учетом вторичных дефектов (Руденко А.А.);
  • Модель, методы и информационная технология оценки функциональной безопасности информационно-управляющих (ИУС)  систем с использованием параметризируемых инструментальных средств (Неткачёва Е.И.).

Информация:

О  подготовке конференции DESSERT'2012 (Харченко В.С.).


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

Докладчики