Shan、Laixiang;秦军;陈明石;秦、郑 基于满足条件的Büchi自动机生成的退化算法。 (英语) Zbl 1350.68187号 J.应用。数学。 2015年,文章ID 516104,10 p.(2015).MSC公司:60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Shan}等人,J.Appl。数学。2015年,文章ID 516104,10 p.(2015;Zbl 1350.68187) 全文: 内政部
萨瓦斯·科努尔 朝向轻量级概率模型检查。 (英语) Zbl 1442.68109号 J.应用。数学。 2014年,文章ID 814159,15 p.(2014).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Konur},J.Appl。数学。2014年,文章ID 814159,15 p.(2014;Zbl 1442.68109) 全文: 内政部
徐永生;杨国武;张正伟;郑德胜;郭文胜 GSTE中的终端可满足性。 (英语) Zbl 1442.68111号 J.应用。数学。 2014年,文章ID 725275,10 p.(2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xu}等人,J.Appl。数学。2014,文章ID 725275,第10页(2014;兹bl 1442.68111) 全文: 内政部
刘万伟;王瑞;傅显金;王,季;董伟;毛晓光 反例—用于符号模型检查的保留简化。 (英语) Zbl 1442.68110号 J.应用。数学。 2014年,文章ID 702165,13 p.(2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}等人,J.Appl。数学。2014年,文章ID 702165,13 p.(2014;Zbl 1442.68110) 全文: 内政部
刘静;叶新明;周建涛 使用有色Petri网进行面向测试目的的I/O一致性测试选择。 (英语) Zbl 1442.68147号 J.应用。数学。 2014年,文章ID 645235,10 p.(2014).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人,J.Appl。数学。2014年,文章ID 645235,10 p.(2014;Zbl 1442.68147) 全文: 内政部
王,钱;宋晓宇;顾,明;孙家光 中高性能加法器的功能验证Coq公司. (英语) Zbl 1437.68191号 J.应用。数学。 2014年,文章ID 197252,9 p.(2014).MSC公司:68伏15 60年第68季度 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Wang}等人,J.Appl。数学。2014年,文章ID 197252,9 p.(2014年;Zbl 1437.68191) 全文: 内政部
周宁;高新燕;吴金钊;魏建超;李大奎 Groebner基于SystemVerilog并发断言的验证解决方案。 (英语) Zbl 1437.68124号 J.应用。数学。 2014年,文章ID 194574,15 p.(2014).MSC公司:60年第68季度 68瓦30 94C12号机组 94C11号机组 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhou}等人,J.Appl。数学。2014年,文章ID 194574,15 p.(2014;Zbl 1437.68124) 全文: 内政部
杨世翰;谭红燕;吴金钊 从异构源构建本体的语义一致性检查。 (英语) Zbl 1437.68123号 J.应用。数学。 2014年,文章ID 181938,11 p.(2014).MSC公司:60年第68季度 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Yang}等人,J.Appl。数学。2014年,文章ID 181938,11 p.(2014;Zbl 1437.68123) 全文: 内政部
费卢兹·切尔 关系恶魔模糊精化。 (英语) Zbl 1437.68122号 J.应用。数学。 2014年,文章ID 140707,17 p.(2014).MSC公司:60年第68季度 03电子72 PDF格式BibTeX公司 XML格式引用 \textit{F.Tchier},J.应用。数学。2014年,文章ID 140707,17 p.(2014;Zbl 1437.68122) 全文: 内政部
任金生;秦、柯;马,英;罗广春 使用机器学习进行软件缺陷预测。 (英语) Zbl 1405.68088号 J.应用。数学。 2014年,文章ID 785435,8 p.(2014).MSC公司:68号30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ren}等人,J.Appl。数学。2014年,文章ID 785435,8 p.(2014;Zbl 1405.68088) 全文: 内政部
宋亮(Song,Liang);王建民;文,李杰;孔慧 使用LTL公式和展开进行高效的基于语义的符合性检查。 (英语) Zbl 1311.68089号 J.应用。数学。 2013,文章ID 962765,第24页(2013).MSC公司:60年第68季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{L.Song}等人,J.Appl。数学。2013年,文章ID 962765,24 p.(2013;Zbl 1311.68089) 全文: 内政部
杨国武;威廉·N·洪。;宋晓宇;郭文胜 一种基于转换的GSTE断言图蕴涵方法。 (英语) Zbl 1311.68091号 J.应用。数学。 2013年,文章ID 709071,第7页(2013年).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yang}等人,J.Appl。数学。2013年,文章ID 709071,7 p.(2013;Zbl 1311.68091) 全文: 内政部
孙涛;叶新明 一种并行软件测试的模型简化方法。 (英语) Zbl 1311.68049号 J.应用。数学。 2013年,文章ID 595897,13 p.(2013).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Sun}和\textit{X.Ye},J.Appl。数学。2013年,文章ID 595897,13 p.(2013;Zbl 1311.68049) 全文: 内政部
王瑞;刘万伟;李、屯;毛晓光;王,季 ETL与有限自动机和循环自动机连接的有界模型检查。 (英语) Zbl 1311.68090号 J.应用。数学。 2013年,文章ID 462532,12 p.(2013).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Wang}等人,J.Appl。数学。2013年,文章ID 462532,12 p.(2013;Zbl 1311.68090) 全文: 内政部
周敏(Zhou,Min);他,费;王,弯腰;顾,明;孙家光 DPLL(T)+证书的统一框架。 (英语) Zbl 1267.68146号 J.应用。数学。 2013年,文章ID 964682,13 p.(2013).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhou}等人,J.Appl。数学。2013,文章ID 964682,第13页(2013;兹bl 1267.68146) 全文: 内政部
何安平;吴金钊;杨世翰;周永泉;王,胡安 基于自动分析的舞台吊杆系统。 (英语) Zbl 1267.68134号 J.应用。数学。 2013年,文章ID 739253,第7页(2013年).MSC公司:65年第68季度 60年第68季度 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.He}等人,J.Appl。数学。2013年,文章ID 739253,7 p.(2013;Zbl 1267.68134) 全文: 内政部
王瑞;关、勇;罗立明;李晓娟;张杰 PLC系统的基于组件的形式化建模。 (英语) Zbl 1267.68144号 J.应用。数学。 2013年,文章ID 721624,9 p.(2013).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Wang}等人,J.Appl。数学。2013年,文章ID 721624,9 p.(2013;Zbl 1267.68144) 全文: 内政部
周宁;吴金钊;高新燕 基于Groebner基方法的SERE性质代数验证方法。 (英语) Zbl 1267.68147号 J.应用。数学。 2013年,文章ID 272781,10 p.(2013).MSC公司:60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhou}等人,J.Appl。数学。2013年,文章ID 272781,10 p.(2013;Zbl 1267.68147) 全文: 内政部
张杰;毛丹文;关、勇 线性空间理论在高阶逻辑证明系统中的形式化。 (英语) Zbl 1315.03021号 J.应用。数学。 2013年,文章ID 218492,6 p.(2013). 审核人:曼弗雷德·科伯(伯明翰) MSC公司:03B35型 03B15号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人,J.Appl。数学。2013年,文章ID 218492,6 p.(2013;Zbl 1315.03021) 全文: 内政部