Variable Energy Cyclotron Centre, 1/AF, Bidhan Nagar, Kolkata - 700064, India;
Distributed-System; Leader-Election-Protocol; Modal Logic; Model-Checking; Synchronous Ring; Tableau proof;
机译:动态系统中层次化领导者选举协议的概率验证
机译:基于谓词图的基于环的领导者选举协议的形式验证
机译:基于谓词图的基于环的领导者选举协议的形式验证
机译:使用机械化框架验证HS Leader选举方案
机译:用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
机译:埃塞俄比亚吉马地区升级的待产院和地方领导人培训对改善机构生育的有效性:一项整群随机对照试验的研究方案
机译:过程代数中领导者选举协议的形式验证
机译:IEEE 1394领导者选举协议的定时验证