跳到主要导航
跳到搜索
跳到主要内容
西北工业大学 国内
English
中文
国内
简介
研究单位
科研成果
按专业知识、名称或附属进行搜索
Specification and Verification of the Zab Protocol with TLA+
Jia Qi Yin
, Hui Biao Zhu, Yuan Fei
East China Normal University
Shanghai Normal University
科研成果
:
期刊稿件
›
文章
›
同行评审
9
引用 （Scopus）
综述
指纹
指纹
探究 'Specification and Verification of the Zab Protocol with TLA+' 的科研主题。它们共同构成独一无二的指纹。
分类
加权
按字母排序
Computer Science
Broadcast Protocol
100%
Experimental Result
16%
model checker
16%
Liveness Property
16%