КриКТехС 2007-2

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

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

Математические методы в задачах верификации и оценки надежности программного обеспечения.

Доклады:

  • Задачи и методы формальной верификации на различных этапах разработки критического программного обеспечения (Жолткевич Г.Н.);
  • Методы моделирования и оценки надежности отказоустойчивых компьютерных систем с учетом изменяющихся параметров потоков отказов и восстановлений программных средств (Одарущенко Е.Б.).

 


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

Докладчики