Назад
Данаев, Наргозы Турсынбаевич
Казахский национальный университет им. аль-Фараби
http://www.kaznu.kz/
Казахстан, 050038, Алматы, пр. аль-Фараби, 71
Телефон: +7 (727) 377-33-43, Факс: +7 (727) 377-33-44
Доклад
Ахмед-Заки Д.Ж.
*
,
Данаев Н.Т.
*
,
Бектемесов А.Т.
*
Применение Model checking для анализа работы высокопроизводительного кластера
*
Казахский национальный университет им. аль-Фараби (Алматы), Казахстан
К списку участников