萨伊德·阿贝德;亚辛·莫赫塔里;奥特曼·艾特·穆罕默德;索菲涅·塔哈尔 NuMDG:一种用于构建多路决策图的新工具。 (英语) Zbl 1280.68121号 J.计算。科学。技术。 26,第1期,139-152(2011).MSC公司:第68季度第60季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Abed}等人,《计算杂志》。科学。Technol公司。26,第1号,139--152(2011;Zbl 1280.68121) 全文: 内政部 链接
Riadh罗巴纳 使用近似方法验证持续时间系统。 (英语) Zbl 1089.68565号 J.计算。科学。技术。 18,第2期,153-162(2003).MSC公司:第68季度第60季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{R.Robbana},J.Comput。科学。Technol公司。18,第2号,153--162(2003;Zbl 1089.68565) 全文: 内政部
焦、李;陆伟明 关于扩展强非对称选择网的活性和有界性的注记。二、。 (英语) Zbl 1010.68097号 J.计算。科学。技术。 16,第5期,426-433(2001).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jiao}和\textit{W.Lu},J.Compute。科学。Technol公司。16,第5号,426--433(2001;Zbl 1010.68097) 全文: 内政部
马华东;刘申泉 基于时序逻辑和(XYZ)系统的多媒体数据建模。 (英语) Zbl 0920.68040号 J.计算。科学。技术。 14,第2期,188-192(1999).MSC公司:68第05页 68单位99 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ma}和\textit{S.Liu},J.Compute。科学。Technol公司。14,第2号,188--192(1999;Zbl 0920.68040) 全文: 内政部
于晓明;闵英华 延迟可验证性设计。 (英语) Zbl 0920.68010号 J.计算。科学。技术。 13,补遗,69-75(1998).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{X.Yu}和\textit{Y.Min},J.Comput。科学。Technol公司。13、69-75(1998年;Zbl 0920.68010) 全文: 内政部
于慧群;宋国欣;孙永强 累加演算的完备性。 (英语) Zbl 0891.03005号 J.计算。科学。技术。 13,第1期,25-31(1998年).MSC公司:03B45号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{H.Yu}等人,J.Compute。科学。Technol公司。13,编号1,25-31(1998;Zbl 0891.03005) 全文: 内政部
王健;克里斯汀·艾森拜斯;苏伯公 利用时间Petri网对具有资源约束的指令级循环调度进行建模。 (英语) Zbl 0942.68630号 J.计算。科学。技术。 9,第2期,128-143(1994年).MSC公司:第68季度85 2010年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}等人,J.Compute。科学。Technol公司。9,第2号,128--143(1994;Zbl 0942.68630) 全文: 内政部
谢洪亮;龚洁;唐,C.S。 一种结构化时序逻辑语言:XYZ/SE。 (英语) Zbl 0725.68071号 J.计算。科学。技术。 6,第1期,1-10(1991).MSC公司:第68季度第60季度 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.计算。科学。技术。 6,第1期,21-31(1991).MSC公司:第68季度第60季度 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.68044号 J.计算。科学。技术。 第5期,第3期,241-249页(1990年).MSC公司:2010年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhao}和\textit{Y.Feng},J.Compute。科学。Technol公司。5,第3号,241--249(1990;Zbl 0725.68044) 全文: 内政部
蔡彪东;蔡锡耀;陈家正 从时空逻辑规范合成通信过程骨架。 (英语) Zbl 0666.03024号 J.计算。科学。技术。 第4期,第2期,133-146页(1989年).MSC公司:03B70号 68N25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Cai}等人,J.Compute。科学。Technol公司。4,编号2,133--146(1989;Zbl 0666.03024) 全文: 内政部
陆伟明 在Petri网中标记公平性。 (英语) Zbl 0593.68044号 J.计算。科学。技术。 第1期,第61-69页(1986年).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{W.Lu},J.计算。科学。Technol公司。1,编号1,61-69(1986;Zbl 0593.68044) 全文: 内政部