马彦芳;张敏 (ε)-双相似性的无限演化机制。 (英语) 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) 全文: DOI程序
李兆鹏;张瑜;陈一云 形状图逻辑和形状系统。 (英语) 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) 全文: DOI程序
刘丽娅;奥斯曼·哈桑;塔哈尔,索菲亚 HOL中有限状态离散时间马尔可夫链的形式化推理。 (英语) Zbl 1280.68124号 J.计算。科学。Technol公司。 28,第2期,217-231(2013).MSC公司:60年第68季度 68吨15 87年第68季度 60年20日 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}等人,J.Compute。科学。Technol公司。28,第2号,217--231(2013;Zbl 1280.68124) 全文: DOI程序 链接
黄绍斌;黄宏涛;陈志远;吕天阳;张涛 状态空间探索的懒惰切片。 (英语) Zbl 1280.68123号 J.计算。科学。Technol公司。 27,第4期,872-890(2012).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.-B.Huang}等人,J.Compute。科学。Technol公司。27,第4号,872--890(2012;Zbl 1280.68123) 全文: DOI程序
任洪光;王志英;道格·爱德华兹 异步电路的基于结构的死锁检查。 (英语) Zbl 1280.68125号 J.计算。科学。Technol公司。 第6期第26期,1031-1040页(2011年).MSC公司:60年第68季度 94立方厘米10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.-G.Ren}等人,J.Compute。科学。Technol公司。26,第6号,1031--1040(2011;Zbl 1280.68125) 全文: DOI程序
曹俊伟;张,范;徐,柯;刘连晨;吴成 对网格科学工作流中减少开销的时间属性进行形式化验证。 (英语) 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) 全文: DOI程序
穆克迪;刘伟如;金、智;洪骏;大卫·贝尔 基于协商式修订管理软件需求变更。 (英语) 兹比尔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) 全文: DOI程序
萨伊德·阿贝德;亚辛·莫赫塔里;奥特曼·艾特·穆罕默德;塔哈尔,索菲亚 NuMDG:一种用于构建多路决策图的新工具。 (英语) 兹比尔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) 全文: DOI程序 链接
弗兰茨·魏特尔;伯克哈德·弗雷塔格 检查集成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) 全文: DOI程序
赵建华;李宣东;郑涛;郑国良 删除用于定时自动机模型检查的不相关原子公式。 (英语) 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) 全文: DOI程序
张文辉 结合静态分析和基于实例的搜索空间划分,以减少模型检查中的峰值内存。 (英语) 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) 全文: DOI程序
马华东 持续时间演算中多媒体同步的规范和验证。 (英语) 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) 全文: DOI程序
Riadh罗巴纳 使用近似方法验证持续时间系统。 (英语) Zbl 1089.68565号 J.计算。科学。Technol公司。 18,第2期,153-162(2003).MSC公司:60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Robbana},J.计算。科学。Technol公司。18,编号2153-162(2003年;兹bl 1089.68565) 全文: DOI程序
李勇;丹文雄 检查时间自动机的时间持续时间属性。 (英语) 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) 全文: DOI程序
林惠民 图形演算和局部模型检查。 (英语) Zbl 1094.68578号 J.计算。科学。Technol公司。 17,第6期,665-671(2002).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin},J.计算。科学。Technol公司。17,第6号,665--671(2002;Zbl 1094.68578) 全文: DOI程序
李宣东;谭文凯;郑国良 检查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) 全文: DOI程序
李,李 使用持续时间演算实现定时RSL的指称语义。 (英语) 兹伯利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) 全文: DOI程序
李宣东 用线性规划验证时间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年;Zbl 0974.68140) 全文: DOI程序
蔡佳美 在开发程序规范时基于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) 全文: DOI程序
李晓山 平均值演算的可判定性。 (英语) 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,第2173-180号(1999年;兹bl 0919.03009) 全文: DOI程序
林,洪;陈国良 通过验证规范进行程序建设。 (英语) 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) 全文: DOI程序
Ying,明生 可变真值机构:有序风格的方法。 (英语) Zbl 0837.68074号 J.计算。科学。Technol公司。 10,第3期,267-273(1995).MSC公司:60年第68季度 68岁20岁 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying},J.计算。科学。Technol公司。10,编号3,267-273(1995年;Zbl 083768074) 全文: DOI程序
Ying,明生 在机构中整合一致的理论。 (英语) 兹比尔083768073 J.计算。科学。Technol公司。 10,第3期,260-266页(1995年).MSC公司:60年第68季度 68岁20岁 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying},J.计算。科学。Technol公司。10,第3号,260--266(1995;Zbl 0837.68073) 全文: DOI程序
袁崇义 网络系统中的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) 全文: DOI程序
向、东;魏道正 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) 全文: DOI程序
谢洪亮;龚洁;唐,C.S。 一种结构化时序逻辑语言:XYZ/SE。 (英语) Zbl 0725.68071号 J.计算。科学。Technol公司。 6,第1期,1-10(1991).MSC公司:60年第68季度 68T99型 第68页第17页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Xie}等人,J.Compute。科学。Technol公司。6,编号1,1-10(1991;Zbl 0725.68071) 全文: DOI程序
刘彤;唐,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) 全文: DOI程序
林惠民;龚、春;谢洪亮 时态逻辑语言中代数规范的抽象实现。 (英语) 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) 全文: DOI程序
赵京海;刘申泉 交互式系统的快速原型环境。 (英语) 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) 全文: DOI程序
王海英;刘申泉 用于用户界面软件开发的领域知识驱动方法。 (英语) Zbl 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) 全文: DOI程序
朱红 通过求解方程进行程序转换。 (英语) Zbl 0722.68079号 J.计算。科学。Technol公司。 6,第2期,167-177(1991).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu},J.计算。科学。Technol公司。6,编号2,167--177(1991;Zbl 0722.68079) 全文: DOI程序
姜新杰;徐永森 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) 全文: DOI程序
叶,大兴 自动语义分析增量算法的三个改进。 (英语) 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) 全文: DOI程序
唐同高;赵昭景 程序语义中的堆栈方法。 (英语) 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) 全文: DOI程序