迪米特里·列斐伏尔;Hadjicostis,Christopros N。 带标记随机Petri网的故障模式的可诊断性。 (英语) 兹标07800159 信息科学。 593, 341-363 (2022).MSC公司:93元65角 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{D.Lefebvre}和\textit{C.N.Hadjicostis},信息科学。593、341--363(2022;Zbl 07800159) 全文: 内政部
陈泽瑞;田友良;熊金波;彭昌根;马建峰 在基于复制的验证中减少委托开销:一种激励相容的理性委托计算方案。 (英语) Zbl 1527.68021号 信息科学。 568, 286-316 (2021).MSC公司:68英里11 68第25页 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人,《信息科学》。568286-316(2021;Zbl 1527.68021) 全文: 内政部
严雪虎;李俊浩;祖丽·潘;钟晓峰;杨国正 图像秘密共享中的多方验证。 (英语) Zbl 1525.94060号 信息科学。 562, 475-490 (2021).MSC公司:94A62型 94A08型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{X.Yan}等人,《信息科学》。562475-490(2021年;Zbl 1525.94060) 全文: 内政部
塞义德·穆罕默德·加法利安;哈米德·雷扎,沙赫里亚里 使用程序的丰富中间图表示进行神经软件漏洞分析。 (英语) Zbl 1483.68078号 信息科学。 553, 189-207 (2021).MSC公司:68号30 68兰特 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Ghaffarian}和\textit{H.R.Shahriari},《信息科学》。553189-207(2021年;Zbl 1483.68078) 全文: 内政部
赵亮;王兴峰;黄新毅 从LWE进行的具有二进制错误的可验证单服务器私有信息检索。 (英语) Zbl 1475.68117号 信息科学。 546, 897-923 (2021).MSC公司:68第20页 68第25页 68第27页 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhao}等人,《信息科学》。546897-923(2021年;Zbl 1475.68117) 全文: 内政部
杨景凯;邓伟林;邱道文;姜,程 网络离散事件系统的不透明度。 (英语) Zbl 1475.68044号 信息科学。 543, 328-344 (2021).MSC公司:68平方米25 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人,《信息科学》。543、328--344(2021年;Zbl 1475.68044) 全文: 内政部
杨雪超;易、荀;安德烈·凯拉列夫;韩凤玲;罗俊伟 一种分布式网络系统,用于安全的可公开验证的自动计票在线投票。 (英语) Zbl 1478.94113号 信息科学。 543, 125-142 (2021).MSC公司:94A60型 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,《信息科学》。543125--142(2021年;Zbl 1478.94113) 全文: 内政部
李磊;李,志 基于二元多项式的可验证多方量子密钥协议。 (英语) 兹比尔1458.81013 信息科学。 521, 343-349 (2020).MSC公司:81页94 PDF格式BibTeX公司 XML格式引用 \textit{L.Li}和\textit{Z.Li},信息科学。521、343--349(2020;Zbl 1458.81013) 全文: 内政部
李永明;雷、李辉;李三江 基于多值可能性测度的计算树逻辑模型检验。 (英语) Zbl 1448.68306号 信息科学。 485, 87-113 (2019).MSC公司:60年第68季度 03B50号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《信息科学》。485、87-113(2019年;Zbl 1448.68306) 全文: 内政部
黄昌琴;王希哲;王殿辉 云计算环境中基于类型理论的服务组合语义验证。 (英语) Zbl 1441.68133号 信息科学。 469, 101-118 (2018).MSC公司:60年第68季度 03B70号 68英里11 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Huang}等人,《信息科学》。469、101--118(2018;Zbl 1441.68133) 全文: 内政部
艾哈迈德·赫尔登;卡梅尔·巴考伊;马利卡·尤瓦拉伦 基于高级Petri网的复杂业务流程的形式化验证。 (英语) Zbl 1429.68147号 信息科学。 385-386,39-54(2017).MSC公司:68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kheldoun}等人,《信息科学》。385--386、39-54(2017年;Zbl 1429.68147) 全文: 内政部
李永明;曼弗雷德·德罗斯特;雷、李辉 多值系统中线性时间特性的模型检验。 (英语) Zbl 1428.68188号 信息科学。 377, 51-74 (2017).MSC公司:60年第68季度 03B50号 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《信息科学》。377、51-74(2017年;Zbl 1428.68188) 全文: 内政部 arXiv公司
玛丽安·盖奥吉;佛罗伦萨伊帕特;萨瓦斯·科努尔 基于可识别P系统的测试,使用覆盖自动机和X机。 (英语) Zbl 1428.68153号 信息科学。 372, 565-578 (2016).MSC公司:2007年第68季度 2010年第68季度 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,《信息科学》。372565--578(2016年;Zbl 1428.68153) 全文: 内政部 链接
施、雅;田聪;段振华;周梦初 使用MSVL对Petri网进行模型检查。 (英语) Zbl 1427.68210号 信息科学。 363274-291(2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shi}等人,《信息科学》。363274-291(2016年;Zbl 1427.68210) 全文: 内政部
Golsefid,S.Malek Mohamadi;Zarandi,M.H.Fazel;图尔克森,I.B。 用于模式识别的多中心通用2型模糊聚类方法。 (英语) 兹比尔1390.68564 信息科学。 328, 172-188 (2016).MSC公司:68吨10 PDF格式BibTeX公司 XML格式引用 \textit{S.M.M.Golsefid}等人,《信息科学》。328172-188(2016;Zbl 1390.68564) 全文: 内政部
诺里希罗·卡米德 具有层次信息的不一致容忍时间推理。 (英语) Zbl 1390.68610号 信息科学。 320, 140-155 (2015).MSC公司:68T27型 03B44号 03B53号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},信息科学。320140-155(2015年;兹比尔1390.68610) 全文: 内政部
亚瑟·Mę滑雪;沃伊切赫,彭泽克;格列泽戈兹·罗森贝格 模型检查反应系统的时间特性。 (英语) 兹伯利1387.68167 信息科学。 313, 22-42 (2015).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Męski}等人,《信息科学》。313、22-42(2015年;Zbl 1387.68167) 全文: 内政部
阿诺希拉万·萨布里;Hadjicostis,Christopros N。 离散事件系统安全应用中初始状态不透明度的验证。 (英语) Zbl 1320.68119号 信息科学。 246, 115-132 (2013).MSC公司:60年第68季度 2017年第68季度 第68季度第45季度 68问题85 93个B07 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{A.Saboori}和\textit{C.N.Hadjicostis},信息科学。246115--132(2013;Zbl 1320.68119) 全文: 内政部
曹平;董,赵;刘,柯;蔡开元 在调试不完善的情况下,软件测试对可靠性改进的定量影响。 (英语) Zbl 1293.68076号 信息科学。 218, 119-132 (2013).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Cao}等人,《信息科学》。218119-132(2013;Zbl 1293.68076) 全文: 内政部
图拉亚Bouabana-Tebbel;斯图亚特·鲁宾。 使用Petri网的UML2交互的交错语义。 (英语) Zbl 1293.68202号 信息科学。 232, 276-293 (2013).MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Bouabana-Tebebel}和\textit{S.H.Rubin},信息科学。232、276——293(2013年;Zbl 1293.68202) 全文: 内政部
张新昌;杨美红;张健;石慧玲;张伟 扩展唯一输入/输出序列的研究。 (英语) Zbl 1248.68082号 信息科学。 203, 44-58 (2012).MSC公司:68个M12 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}等人,《信息科学》。203、44-58(2012;Zbl 1248.68082) 全文: 内政部
韦恩,M.T。;H.M.W.韦贝克。;范德阿尔斯特,W.M.P。;ter Hofstede,A.H.M。;D.爱德蒙。 用于重置工作流网络的声音保护简化规则。 (英语) Zbl 1162.68488号 信息科学。 179,第6号,769-790(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Wynn}等人,《信息科学》。179,第6号,769--790(2009;Zbl 1162.68488) 全文: 内政部
蔡开元;董,赵;刘,柯 软件测试过程是一个线性动态系统。 (英语) Zbl 1134.68020号 信息科学。 178,编号6,1558-1597(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.-Y.Cai}等人,《信息科学》。178,第6号,1558--1597(2008;Zbl 1134.68020) 全文: 内政部
罗伯特·梅奥利奇;塔贾纳·卡普斯;Zmago布雷佐尼克 ACTLW–带除非运算符的基于操作的计算树逻辑。 (英语) Zbl 1134.68033号 信息科学。 178,第6期,1542-1557(2008).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Meolic}等人,《信息科学》。178,第6号,1542--1557(2008;Zbl 1134.68033) 全文: 内政部
林希忠;严松明;黄一雄 黄旺主格签名安全复议。 (英语) Zbl 1134.68022号 信息科学。 178,第5期,1407-1417(2008).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{H.-C.Lin}等人,《信息科学》。178,第5号,1407--1417(2008;Zbl 1134.68022) 全文: 内政部
Lakshmi Narasimhan,V。;亨德拉德贾亚(B.Hendradjaya)。 软件组件集成的一套度量标准的一些理论考虑。 (英语) Zbl 1142.68328号 信息科学。 177,第3期,844-864(2007).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{V.Lakshmi Narasimhan}和\textit{B.Hendradjaya},信息科学。177,第3号,844--864(2007;Zbl 1142.68328) 全文: 内政部
徐建龙;蔡国玉;蔡佩玲 具有共享验证的不可拒绝门限多代理多重签名方案的密码分析与改进。 (英语) Zbl 1130.94326号 信息科学。 177,第2期,543-549(2007).MSC公司:94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{C.-L.Hsu}等人,《信息科学》。177,第2号,543--549(2007;Zbl 1130.94326) 全文: 内政部
尼汉·凯西姆·奇切克利;伊利亚斯·奇切克利 使用事件演算将工作流的规范和执行形式化。 (英语) Zbl 1110.68074号 信息科学。 176,第15号,2227-2267(2006).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{N.K.Cicekli}和\textit{I.Cicekli},信息科学。176,编号152227-2267(2006年;兹bl 1110.68074) 全文: 内政部 链接
李惠明;Lee,Shu Yen先生;Lee,Tsung-Yen先生;陈,Jan-Jo 一种应用模糊集理论评估软件开发中综合风险率的新算法。 (英语) Zbl 1069.68541号 信息科学。 153, 177-197 (2003).MSC公司:68号30 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Lee}等人,《信息科学》。153177-197(2003年;Zbl 1069.68541) 全文: 内政部
埃里克·格雷戈里;贝特朗·马祖尔 关于一阶分层知识型决策支持系统的增量验证。 (英语) Zbl 1033.68106号 信息科学。 142,编号1-4117-129(2002).MSC公司:68层35 68单位99 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{希腊}和\textit{B.迷宫},信息科学。142,编号1--4,117-129(2002;Zbl 1033.68106) 全文: 内政部
沃尔夫拉姆·卡尔 规范的并行组成和分解。 (英语) Zbl 1004.68097号 信息科学。 139,第3-4号,197-220(2001).MSC公司:60年第68季度 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},信息科学。139,编号3--4,197-220(2001;Zbl 1004.68097) 全文: 内政部
德克斯特·科赞;Jerzy Tiuryn 论命题霍尔逻辑的完备性。 (英语) Zbl 0996.03022号 信息科学。 139,第3-4号,187-195(2001).MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}和\textit{J.Tiuryn},信息科学。139,编号3--4,187--195(2001;Zbl 0996.03022) 全文: 内政部
蔡开元 软件运行可靠性建模的概念框架。 (英语) Zbl 0969.68598号 信息科学。 126,编号1-4,137-163(2000).MSC公司:68单位99 68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.-Y.Cai},信息科学。126,编号1--4,137-163(2000;Zbl 0969.68598) 全文: 内政部
何继峰;霍尔,C.A.R。 概率规划中的关联理论。 (英语) Zbl 0943.68033号 信息科学。 119,第3-4号,205-218(1999).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{C.A.R.Hoare},Inf.Sci。119,编号3--4,205-218(1999;Zbl 0943.68033) 全文: 内政部
鲁道夫·伯哈默 结合关系演算和Dijkstra-Gries方法来派生关系程序。 (英语) Zbl 0943.68032号 信息科学。 119,编号3-4,155-171(1999).MSC公司:68号30 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer},信息科学。119,编号3--4,155-171(1999;Zbl 0943.68032) 全文: 内政部
Fehrer、Detlef;赫尔穆特·霍拉切克 在数学证明中提出不等式。 (英语) Zbl 0933.68124号 信息科学。 116,第1期,3-23页(1999年).MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fehrer}和\textit{H.Horacek},信息科学。116,第1号,第3--23号(1999;Zbl 0933.68124) 全文: 内政部
Dan E.塔米尔。;亚伯拉罕·坎德尔 概念知识的模糊语义分析和形式化描述。 (英语) 兹伯利0870.68143 信息科学。 82,第3-4号,181-196(1995).MSC公司:68立方英尺 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Tamir}和\textit{A.Kandel},信息科学。82,编号3--4,181-196(1995;Zbl 0870.68143) 全文: 内政部
G.M.伦迪。 协议组成的规范和分析。 (英语) Zbl 0798.68103号 信息科学。 70,第3期,221-239(1993).MSC公司:60年第68季度 68M10个 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Lundy},信息科学。70,第3号,221--239(1993;Zbl 0798.68103) 全文: 内政部
Pieper,F.T.A.M。 数据机和标准,或信息系统的功能规范。 (英语) Zbl 0765.68139号 信息科学。 67,编号1-2,51-86(1993).MSC公司:60年第68季度 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{F.T.A.M.Pieper},信息科学。67,编号1--2,51-86(1993;Zbl 0765.68139) 全文: 内政部
乔·W·杜兰。;约翰·沃科夫斯基(John J.Wiorkowski)。 估计计算机程序的正确性。 (英语) Zbl 0506.68014号 信息科学。 26, 141-153 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Duran}和\textit{J.J.Wiorkowski},信息科学。26、141--153(1982年;Zbl 0506.68014) 全文: 内政部
威廉·W·阿格雷斯蒂。 树结构程序中的寄存器分配。 (英语) Zbl 0436.68016号 信息科学。 18, 83-94 (1979).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.W.Agresti},信息科学。18、83——94(1979年;Zbl 0436.68016) 全文: 内政部 链接