奇亚拉·布拉金;娜塔莎·莎莉吉娜;凯特琳娜·巴罗内·阿德斯 一种基于模型检查的移动系统安全策略验证方法。 (英语) Zbl 1242.68153号 正式Asp。计算。 23,第5期,627-648(2011)。MSC公司:60年第68季度 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人,正式Asp。计算。23,第5号,627--648(2011;Zbl 1242.68153) 全文: 内政部 哈尔
Chandy,K.曼尼;走吧,布莱恩;萨扬·密特拉;皮洛托、康塞塔;怀特,杰罗姆 使用本地全局谓词验证分布式系统。 (英语) 兹比尔1242.68155 正式Asp。计算。 23,第5号,649-679(2011)。MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Chandy}等人,《正式Asp》。计算。23,第5号,649--679(2011;Zbl 1242.68155) 全文: 内政部
丹尼尔·克罗宁(编辑);蒂齐亚娜·玛格丽亚(编辑);吉姆·伍德科克(编辑) 特刊:2008年VSTTE工具研讨会。根据2008年10月6日至9日在加拿大多伦多举行的“验证软件:理论、工具和实验”会议上的演示文稿选出的论文。 (英语) Zbl 1243.68021号 正式Asp。计算。23,第5期,585-679(2011)。 MSC公司:68-06 60年第68季度 68纳米30 00时25分 PDF格式BibTeX公司 XML格式