Ахмед-Заки Д.Ж.   Данаев Н.Т.   Бектемесов А.Т.  

Применение Model checking для анализа работы высокопроизводительного кластера

Докладчик: Ахмед-Заки Д.Ж.