« Назад

КриКТехС 2011-1

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

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

Анализ киберпространств и проблемы автоматизации технической диагностики.

Доклады:

  • Актуальные проблемы анализа киберпространства (Хаханов В.И.);
  • Модели и методы функциональной верификации цифровых систем на основе темпоральных ассерций (Зайченко С.А.);
  • Нейросетевые методы и информационная техно-логия автоматизированного металлографического анализа качества металлов (Емельянов В.А.).

Информация:

Международный научно-технический семинар Critical Infrastructure Safety and Security (Харченко В.С.).


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

Докладчики