« Назад

КриКТехС 2006-3

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

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

Методы, средства и технологии диагностирования и верификации информационно-управляющих систем.

Доклады:

  • Методы обнаружения и диагностирования неисправностей в информационно-управляющих системах (ИУС) в условиях параметрической неопределенности (Герасименко К.Е.);
  • Программная поддержка решения задач с использованием методов интервальной арифметики (Дубницкий В.Ю.);
  • Модели и методы совместной верификации проектируемых цифровых систем на кристалах (ЦСК) (Егоров А.А.).

 


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

Докладчики