利奥·弗雷塔斯;保罗·沃森 在联邦云上正式化工作流分区:多级安全性和成本。 (英语) Zbl 1452.68120号 国际期刊计算。数学。 91,第5期,881-906(2014).MSC公司:60年第68季度 68甲18 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Freitas}和\textit{P.Watson},国际计算机杂志。数学。91,第5号,881--906(2014;Zbl 1452.68120) 全文: 内政部
高洪浩;苗、淮口 基于两阶段兼容性验证的Web应用程序动态重构研究。 (英语) Zbl 1312.68020号 国际期刊计算。数学。 90,第11期,2265-2278(2013).MSC公司:68英里11 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}和\textit{H.Miao},国际计算机杂志。数学。90,第11号,2265--2278(2013;Zbl 1312.68020) 全文: 内政部
玛丽安·盖奥吉;佛罗伦萨伊帕特;拉卢卡左翼;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;阿德里安·厄尔卡努;路易斯·巴伦西亚·卡布雷拉;曼纽尔·加西亚·基斯蒙多;劳伦·米尔勒 使用简单内核P系统的3列问题建模。 (英语) Zbl 1274.68125号 国际期刊计算。数学。 90,第4期,816-830(2013).MSC公司:2005年第68季度 2010年第68季度 19年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,国际计算机杂志。数学。90,第4号,816--830(2013;Zbl 1274.68125) 全文: 内政部 链接
佛罗伦萨伊帕特;迈克·霍尔科姆 一种经证明能够发现所有故障的集成测试方法。 (英语) 兹比尔0878.68086 国际期刊计算。数学。 63,第3-4号,159-178(1997).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{M.Holcombe},国际计算机杂志。数学。63,编号3--4,159--178(1997;Zbl 0878.68086) 全文: 内政部
梅森,K.P。 动态模板转换器-一种用于指定编程语言的新设备。 (英语) Zbl 0656.68089号 国际期刊计算。数学。 22,第3-4号,199-212(1987).MSC公司:65年第68季度 60年第68季度 68问题55 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Mason},国际计算机杂志。数学。22,No.3--4,199--212(1987;Zbl 0656.68089) 全文: 内政部