林杰;于建坤 基于Kripke结构的程序正确性证明。 (英语) 兹比尔1252.68078 J.计算。申请。 31,第5期,1425-1427(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Lin}和\textit{J.-K.Yu},J.Compute。申请。31,第5号,1425-1427(2011;Zbl 1252.68078) 全文: 内政部
韩、宣;雷、杭 考虑环境差异的软件可靠性增长模型研究。 (中文。英文摘要) Zbl 1219.68090号 J.计算。申请。 第7期第31号,1759-1761(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{X.Han}和\textit{H.Lei},J.Compute。申请。31,第7号,1759---1761(2011;Zbl 1219.68090)
袁勇 混合结构的数字多重签名算法。 (中文。英文摘要) Zbl 1247.94042号 J.计算。申请。 30,第6期,1498-1500(2010).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yuan},J.计算。申请。30,第6号,1498--1500(2010;Zbl 1247.94042) 全文: 内政部
孙晓燕;朱岳飞;黄,钱;郭宁 基于系统调用跟踪生成系统恶意行为规范。 (中文。英文摘要) Zbl 1246.68099号 J.计算。申请。 30,第7期,1767-1770(2010).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.-Y.Sun}等人,《计算杂志》。申请。30,编号7,1767-1770(2010年;兹bl 1246.68099) 全文: 内政部
廖子华;谭红燕;吴金钊 基于Groebner库的模型检查技术和工具开发。 (英语) Zbl 1187.68315号 J.计算。申请。 29,第10号,2841-2843(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.-h.Liao}等人,J.Compute。申请。29,第10号,2841--2843(2009;Zbl 1187.68315) 全文: 内政部
王洪椿;金、斌;范薰生;马世明 基于神经网络的离线中文签名识别系统。 (中文。英文摘要) Zbl 1180.94074号 J.计算。申请。 28,第9号,2389-2391(2008).MSC公司:94A62型 68吨10 68T05型 94A11号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.-c.Wang}等人,J.Compute。申请。28,第9号,2389--2391(2008;Zbl 1180.94074) 全文: 内政部
顾湘;邱建林;燕,燕 基于输入/输出序列的协议的形式化描述和测试用例生成。 (中文。英文摘要) Zbl 1180.68173号 J.计算。申请。 28,第6期,1471-1474(2008).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{X.Gu}等人,《计算杂志》。申请。28,第61471号-1474(2008年;兹bl 1180.68173) 全文: 内政部
荣文良;Yang,Yan(杨燕) 挖掘数据流上的频繁闭合模式。 (中文。英文摘要) Zbl 1180.68178号 J.计算。申请。 28,第6期,1467-1470(2008).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{W.-L.Rong}和\textit{Y.Yang},J.Compute。申请。28,第6号,1467--1470(2008;Zbl 1180.68178) 全文: 内政部
陈,陈;陈永生 基于分层单元划分的软件模型检查。 (中文。英文摘要) Zbl 1175.68257号 J.计算。申请。 28,第8号,2109-2112(2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}和\textit{Y.-S.Chen}.J.Compute。申请。28,第8号,2109--2112(2008;Zbl 1175.68257)
徐翔(Xu,Xiang);吴金钊;林连南;陈建峰 模型检查交互式马尔可夫链。 (中文。英文摘要) Zbl 1175.68262号 J.计算。申请。 28,第7期,1868-1871(2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人,J.Compute。申请。28,第7号,1868--1871(2008;Zbl 1175.68262) 全文: 内政部
毕仲勤;曾振兵;郭元华 非线性循环不变量的自动生成。 (中文。英文摘要) Zbl 1175.68263号 J.计算。申请。 1854-1857(2008)第7号第28页.MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.-Q.Bi}等人,《计算杂志》。申请。28,第7号,1854--1857(2008;Zbl 1175.68263) 全文: 内政部
荣、梅;何志雪;张广全 基于LTL属性的并发面向对象程序切片方法。 (中文。英文摘要) Zbl 1173.68433号 J.计算。申请。 28,第5期,1300-1302(2008).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Rong}等人,J.Compute。申请。28,第5号,1300--1302(2008;Zbl 1173.68433) 全文: 内政部
荣惠贵;李伟;郭伟峰 支持软件需求验证的过程模型研究。 (中文。英文摘要) 兹比尔1173.68565 J.计算。申请。 28,第5期,1287-1290(2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-G.Rong}等人,J.Compute。申请。28,第5号,1287--1290(2008;Zbl 1173.68565) 全文: 内政部
王伟光;丁洪达;曾庆凯 基于正式规范的测试用例生成器。 (中文。英文摘要) Zbl 1173.68566号 J.计算。申请。 28,第4期,1018-1022(2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.-g.Wang}等人,J.Compute。申请。28,第4号,1018--1022(2008;Zbl 1173.68566)
赵静;龚伟国;杨丽萍 使用GMM验证普通话-四川方言双语文本相关说话人。 (中文。英文摘要) Zbl 1173.68756号 J.计算。申请。 28,第3期,792-794(2008).MSC公司:68T50型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhao}等人,J.Compute。申请。28,第3号,792--794(2008;Zbl 1173.68756) 全文: 内政部
王舒海;冯志勇;齐、赵辉 具有公开可验证性和可控权限的代理签密方案。 (中文。英文摘要) Zbl 1171.68467号 J.计算。申请。 28,第12号,3163 3164(2008).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.-h.Wang}等人,J.Compute。申请。28,第12号,3163 3164(2008;Zbl 1171.68467)