Бектемесов, А. Т.
    Распределенные алгоритмы и их верификация с помощью Byzantine model checker / А. Т. Бектемесов, А. Ж. Бурлибаев, Ф. А. Илялетдинов // ҚазҰУ хабаршысы = Вестник КазНУ. Сер. математика, механика, информатика. - 2016. - № 4. - С. 70-79.
Рубрики: Информатика
Кл.слова (ненормированные):
распределенные алгоритмы -- параллельная программа -- ВуМС -- Моdel Checking -- верификация

Держатели документа:
чзп

Доп.точки доступа:
Бурлибаев, А. Ж.; Илялетдинов, Ф. А.