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