Контент с Докладчики Емельянов В.А. .

КриКТехС 2011-1

Очередное заседание семинара состоится 27 января 2011 г. в 15.00 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Анализ киберпространств и проблемы автоматизации технической диагностики. Доклады: Актуальные проблемы анализа киберпространства (Хаханов В.И.); Модели и методы функциональной верификации цифровых систем на основе темпоральных ассерций (Зайченко...

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

Докладчики