Lead; Analytical models; Probabilistic logic; Computational modeling; Voting; Algorithm design and analysis; Silicon compounds;
机译:动态系统中层次化领导者选举协议的概率验证
机译:使用模型检查分析协议的互操作性
机译:基于概率模型检查的面向服务应用程序行为分析平台
机译:通过概率模型检查分析动态系统的最终领导者选举协议
机译:模型检查顺序一致性和参数化协议。
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:通过概率模型检查分析动态系统的最终领导者选举协议
机译:模型检查HaVi领导者选举协议。软件工程