Назад
Ахмед-Заки Д.Ж.
Данаев Н.Т.
Бектемесов А.Т.
Применение Model checking для анализа работы высокопроизводительного кластера
Докладчик:
Ахмед-Заки Д.Ж.
К списку докладов