Контент с Докладчики Одарущенко Е.Б. .

КриКТехС 2007-2

Очередное заседание семинара состоится 1 мая 2007 г. в 14.30 в ауд. 123 радиокорпуса ХАИ. Тема заседания: Математические методы в задачах верификации и оценки надежности программного обеспечения. Доклады: Задачи и методы формальной верификации на различных этапах разработки критического программного обеспечения (Жолткевич Г.Н.); Методы моделирования и оценки...

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

Докладчики