« Назад

КриКТехС 2014-8

Очередное заседание семинара состоится 25 ноября (вторник) 2014 г., в 15:00 в аудитории 238 радиокорпуса Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт»

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

Инструментальные методы оценивания надежности программных систем с использованием аппарата марковских случайных процессов и интервальной арифметики

Доклады:

Достоверные вычисления и их приложения, часть 2 (продолжение КриКТехС 2014-7)

Дубницкий В.Ю., к.т.н., ст. научн. сотр. кафедры информатики, НИЛ, Харьковский институт банковского дела Университета банковского дела НБУ

Кобылин А.М., к.т.н., доцент кафедры информатики, НИЛ, Харьковский институт банковского дела Университета банковского дела НБУ

Скорикова И.Г., научн. сотр. кафедры информатики, НИЛ, Харьковский институт банковского дела Университета банковского дела НБУ

Информационная технология оценивания готовности ИУС с использованием многофрагментных марковских и метрико-интервальных моделей

Бутенко В.О., м.н.с., кафедра компьютерных систем и сетей, Национальный аэрокосмический университет «ХАИ»

Информация:

Информация о конференциях, семинарах, проектах

Харченко В.С., д.т.н., заведующий кафедрой компьютерных систем и сетей, Национальный аэрокосмический университет «ХАИ»


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

Докладчики