Көру «Распределенные алгоритмы и их верификация с помощью Byzantine model checker»

Мақала туралы мәліметтерге оралу Распределенные алгоритмы и их верификация с помощью Byzantine model checker Жүктеу PDF Жүктеу