马彦芳;张敏 二相似性的无限演化机制。 (英语) Zbl 1296.68029号 J.计算。科学。Technol公司。 28,第6期,1097-1105(2013).MSC公司:68号30 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-F.Ma}和\textit{M.Zhang},J.Compute。科学。Technol公司。28,第6号,1097--1105(2013;Zbl 1296.68029) 全文: 内政部
李兆鹏;张瑜;陈一云 形状图逻辑和形状系统。 (英语) Zbl 1296.68100号 J.计算。科学。Technol公司。 28,第6期,1063-1084(2013).MSC公司:60年第68季度 68号30 68第05页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Z.-P.Li}等人,J.Compute。科学。Technol公司。28,第6号,1063--1084(2013;Zbl 1296.68100) 全文: 内政部
刘丽娅;奥斯曼·哈桑;索菲涅·塔哈尔 HOL中有限状态离散时间马尔可夫链的形式化推理。 (英语) Zbl 1280.68124号 J.计算。科学。Technol公司。 28,第2期,217-231(2013).MSC公司:60年第68季度 68吨15 87年第68季度 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}等人,J.Compute。科学。Technol公司。28,第2号,217--231(2013;Zbl 1280.68124) 全文: 内政部 链接
黄、邵斌;黄宏涛;陈志远;吕天阳;张涛 状态空间探索的懒惰切片。 (英语) Zbl 1280.68123号 J.计算。科学。Technol公司。 27,第4期,872-890(2012).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.-B.Huang}等人,J.Comput。科学。Technol公司。27,第4号,872--890(2012;Zbl 1280.68123) 全文: 内政部
任洪光;王志英;道格·爱德华兹 异步电路的基于结构的死锁检查。 (英语) 兹比尔1280.68125 J.计算。科学。Technol公司。 26,第6号,1031-1040(2011).MSC公司:60年第68季度 94立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.-G.Ren}等人,J.Compute。科学。Technol公司。26,第6号,1031--1040(2011;Zbl 1280.68125) 全文: 内政部
曹俊伟;张,范;徐,柯;刘连晨;吴成 对网格科学工作流中减少开销的时间属性进行形式化验证。 (英语) Zbl 1280.68122号 J.计算。科学。Technol公司。 26,第6期,1017-1030(2011).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.-W.Cao}等人,J.Compute。科学。Technol公司。26,第6号,1017--1030(2011;Zbl 1280.68122) 全文: 内政部
穆克迪;刘伟儒;金、智;洪骏;大卫·贝尔 基于协商式修订管理软件需求变更。 (英语) Zbl 1280.68079号 J.计算。科学。Technol公司。 26,第5期,890-907(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.-D.Mu}等人,J.计算。科学。Technol公司。26,第5号,890--907(2011;Zbl 1280.68079) 全文: 内政部
萨伊德·阿贝德;亚辛·莫赫塔里;奥特曼·艾特·穆罕默德;索菲涅·塔哈尔 NuMDG:一种用于构建多路决策图的新工具。 (英语) Zbl 1280.68121号 J.计算。科学。Technol公司。 26,第1期,139-152(2011).MSC公司:60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Abed}等人,J.Comput。科学。Technol公司。26,第1号,139--152(2011;Zbl 1280.68121) 全文: 内政部 链接
弗兰茨·魏特尔;伯克哈德·弗雷塔格 检查集成web文档的内容一致性。 (英语) Zbl 1190.68037号 J.计算。科学。Technol公司。 21,第3期,418-429(2006).MSC公司:60年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Weitl}和\textit{B.Freitag},J.Compute。科学。Technol公司。21,第3号,418--429(2006;Zbl 1190.68037) 全文: 内政部
赵建华;李宣东;郑涛;郑国良 删除用于定时自动机模型检查的不相关原子公式。 (英语) Zbl 1190.68038号 J.计算。科学。Technol公司。 21,第1期,41-51(2006).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhao}等人,J.Compute。科学。Technol公司。21,第1号,第41--51条(2006;Zbl 1190.68038) 全文: 内政部
张文辉 结合静态分析和基于实例的搜索空间划分,以减少模型检查中的峰值内存。 (英语) Zbl 1083.68519号 J.计算。科学。Technol公司。 18,第6期,762-770(2003).MSC公司:68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhang},J.计算。科学。Technol公司。18,第6号,762--770(2003;Zbl 1083.68519) 全文: 内政部
马华东 持续时间演算中多媒体同步的规范和验证。 (英语) Zbl 1089.68512号 J.计算。科学。Technol公司。 18,第2期,172-180(2003).MSC公司:68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Ma},J.计算。科学。Technol公司。18,第2号,172--180(2003;Zbl 1089.68512) 全文: 内政部
Riadh罗巴纳 使用近似方法验证持续时间系统。 (英语) Zbl 1089.68565号 J.计算。科学。Technol公司。 18,第2期,153-162(2003).MSC公司:60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Robbana},J.计算。科学。Technol公司。18,第2号,153--162(2003;Zbl 1089.68565) 全文: 内政部
李勇;当文雄(Dang Van Hung) 检查时间自动机的时间持续时间属性。 (英语) Zbl 1056.68096号 J.计算。科学。Technol公司。 17,第6号,689-698(2002).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{Dang Van Hung},J.Compute。科学。Technol公司。17,第6号,689--698(2002;Zbl 1056.68096) 全文: 内政部
林惠民 图形\(\mu\)演算和局部模型检查。 (英语) Zbl 1094.68578号 J.计算。科学。Technol公司。 17,第6期,665-671(2002).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin},J.计算。科学。Technol公司。17号,第665-671号(2002年;兹bl 1094.68578) 全文: 内政部
李宣东;谭文凯;郑国良 检查MSC规范的定时不一致性。 (英语) Zbl 1004.68098号 J.计算。科学。Technol公司。 17,第1期,47-55(2002).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人,《计算杂志》。科学。Technol公司。17,第1号,47-55(2002;Zbl 1004.68098) 全文: 内政部
李,李 使用持续演算实现时间RSL的指称语义。 (英语) Zbl 0974.68114号 J.计算。科学。Technol公司。 16,第1期,64-76(2001).MSC公司:第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Li},J.计算。科学。Technol公司。16,编号1,64--76(2001;Zbl 0974.68114) 全文: 内政部
李宣东 用线性规划验证时间Petri网。 (英语) Zbl 0974.68140号 J.计算。科学。Technol公司。 16,第1期,39-46(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Li},J.计算。科学。Technol公司。16,第1号,39-46(2001年;兹bl 0974.68140) 全文: 内政部
蔡佳美 在开发程序规范时基于ECC的序列建模方法。 (英语) Zbl 0937.68088号 J.计算。科学。Technol公司。 14,第4期,337-348(1999).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cai},J.计算。科学。Technol公司。14,第4号,337--348(1999;Zbl 0937.68088) 全文: 内政部
李晓山 平均值演算的可判定性。 (英语) Zbl 0919.03009号 J.计算。科学。Technol公司。 14,第2期,173-180(1999).MSC公司:03B25号 60年第68季度 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{X.Li},J.计算。科学。Technol公司。14,第2号,173--180(1999;Zbl 0919.03009) 全文: 内政部
林,洪;陈国良 通过验证规范进行程序建设。 (英语) Zbl 0911.68021号 J.计算。科学。Technol公司。 13,第6期,597-607(1998).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}和\textit{G.Chen},J.Compute。科学。Technol公司。13,第6号,597--607(1998;Zbl 0911.68021) 全文: 内政部
英明生 可变真值机构:有序风格的方法。 (英语) Zbl 0837.68074号 J.计算。科学。Technol公司。 10,第3期,267-273(1995).MSC公司:60年第68季度 68岁20岁 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{M.Ying},J.Comput。科学。Technol公司。10,第3号,267--273(1995;Zbl 0837.68074) 全文: 内政部
英明生 在机构中整合一致的理论。 (英语) Zbl 0837.68073号 J.计算。科学。Technol公司。 10,第3期,260-266(1995).MSC公司:60年第68季度 68岁20岁 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{M.Ying},J.Comput。科学。Technol公司。10,编号3,260-266(1995年;Zbl 083768073) 全文: 内政部
袁崇义 网络系统中的S-和T-不变量。 (英语) Zbl 0837.68079号 J.计算。科学。Technol公司。 10,第3期,239-252(1995).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Yuan},J.计算。科学。Technol公司。10,第3号,239--252(1995;Zbl 0837.68079) 全文: 内政部
向、东;魏道正 GLOBAL:一种随机可测试性算法的设计。 (英语) Zbl 0809.94037号 J.计算。科学。Technol公司。 9,第2期,182-194(1994).MSC公司:94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Xiang}和\textit{D.Wei},J.Compute。科学。Technol公司。9,第2号,182--194(1994;Zbl 0809.94037) 全文: 内政部
谢洪亮;龚洁;唐,C.S。 一种结构化时序逻辑语言:XYZ/SE。 (英语) Zbl 0725.68071号 J.计算。科学。Technol公司。 6,第1期,1-10(1991).MSC公司:60年第68季度 68T99型 68N17号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{H.Xie}等人,J.Compute。科学。Technol公司。6,编号1,1-10(1991;Zbl 0725.68071) 全文: 内政部
刘彤;唐,C.S。 数据流图的语义规范和验证。 (英语) Zbl 0725.68070号 J.计算。科学。Technol公司。 6,第1期,21-31(1991).MSC公司:60年第68季度 2010年第68季度 03B45 PDF格式BibTeX公司 XML格式引用 \textit{T.Liu}和\textit{C.S.Tang},J.Compute。科学。Technol公司。6,编号1,21--31(1991;Zbl 0725.68070) 全文: 内政部
林惠民;龚、春;谢洪亮 时态逻辑语言中代数规范的抽象实现。 (英语) Zbl 0725.68069号 J.计算。科学。Technol公司。 6,第1期,11-20(1991).MSC公司:60年第68季度 68问题65 68T99型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}等人,J.Compute。科学。Technol公司。6,编号1,11--20(1991;Zbl 0725.68069) 全文: 内政部
赵京海;刘申泉 交互式系统的快速原型环境。 (英语) Zbl 0725.68034号 J.计算。科学。Technol公司。 6,第2期,135-144(1991).MSC公司:68N20型 60年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhao}和\textit{S.Liu},J.Compute。科学。Technol公司。6,编号2,135--144(1991;Zbl 0725.68034) 全文: 内政部
王海英;刘申泉 用于用户界面软件开发的领域知识驱动方法。 (英语) 兹比尔0725.68029 J.计算。科学。Technol公司。 6,第2期,145-152(1991).MSC公司:68甲15 68立方英尺 68单位05 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Wang}和\textit{S.Liu},J.Compute。科学。Technol公司。6,第2号,145--152(1991;Zbl 0725.68029) 全文: 内政部
朱、洪 通过求解方程进行程序转换。 (英语) Zbl 0722.68079号 J.计算。科学。Technol公司。 第6期,第2期,第167-177页(1991年).MSC公司:60年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu},J.计算。科学。Technol公司。6,编号2,167--177(1991;Zbl 0722.68079) 全文: 内政部
姜新杰;徐永森 VDM中while循环的证明规则。 (英语) Zbl 0685.68020号 J.计算。科学。Technol公司。 4,编号2,178-183(1989).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Jiang}和\textit{Y.Xu},J.Compute。科学。Technol公司。4,编号2,178--183(1989;Zbl 0685.68020) 全文: 内政部
Ye,大兴 自动语义分析增量算法的三个改进。 (英语) Zbl 0679.68029号 J.计算。科学。Technol公司。 4,第1号,67-74(1989).MSC公司:60年第68季度 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Ye},J.计算。科学。Technol公司。4,编号1,67--74(1989;Zbl 0679.68029) 全文: 内政部
唐同高;赵,赵坑 程序语义中的堆栈方法。 (英语) Zbl 0607.68005号 J.计算。科学。Technol公司。 第2期,第1期,第51-63页(1987年).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.Tang}和\textit{Z.Zhao},J.Compute。科学。Technol公司。2,编号1,51--63(1987;Zbl 0607.68005) 全文: 内政部