« Назад

КриКТехС 2004-2

Очередное заседание семинара состоится 23 апреля 2004 г. в 15.00 в ауд. 123 радиокорпуса ХАИ.

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

Методы проектирования и независимой верификации критического ПО.

Доклады:

  • Семантический метод независимой верификации ПО систем критического применения (Манжос Ю.С.);
  • Многоверсионное проектирование критического ПО: модели жизненного цикла и метрики диверсности (Волковой А.В.).

 


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

Докладчики