萨瓦斯·科努尔 朝向轻量级概率模型检查。 (英语) Zbl 1442.68109号 J.应用。数学。 2014年,文章ID 814159,15 p.(2014).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur},J.Appl(J.应用)。数学。2014年,文章ID 814159,15 p.(2014;Zbl 1442.68109) 全文: 内政部
费卢兹·切尔 关系恶魔模糊精化。 (英语) Zbl 1437.68122号 J.应用。数学。 2014年,文章ID 140707,17 p.(2014).MSC公司:60年第68季度 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{F.Tchier},J.应用。数学。2014年,文章ID 140707,17 p.(2014;Zbl 1437.68122) 全文: 内政部
宋亮(Song,Liang);王建民;温丽杰;孔慧 使用LTL公式和展开进行高效的基于语义的符合性检查。 (英语) Zbl 1311.68089号 J.应用。数学。 2013年,文章ID 962765,24 p.(2013).MSC公司:60年第68季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{L.Song}等人,J.Appl。数学。2013年,文章ID 962765,24 p.(2013;Zbl 1311.68089) 全文: 内政部
林,希;张和华;顾,明 OntCheck:一个本体驱动的静态正确性检查工具,用于基于组件的模型。 (英语) Zbl 1267.68228号 J.应用。数学。 2013年,文章ID 934349,11 p.(2013).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{X.Lin}等人,J.Appl。数学。2013年,文章ID 934349,11 p.(2013;Zbl 1267.68228) 全文: 内政部