戴丽蓉;肯德拉·库珀 安全方面的建模和性能分析。 (英语) Zbl 1094.68017号 科学。计算。程序。 61,第1期,58-71(2006).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Dai}和\textit{K.Cooper},科学。计算。程序。61,第1号,58-71(2006年;兹bl 1094.68017) 全文: 内政部
村上春树,Masaki 基于二部有向无环图的并发系统形式化模型。 (英语) Zbl 1094.68065号 科学。计算。程序。 61,第1期,38-47(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{村上春树},科学。计算。程序。61,第1号,第38-47条(2006年;Zbl 1094.68065) 全文: 内政部
艾萨克·莱拉;卡洛斯·尤兹;拉蒙·普伊贾纳 用于智能系统在线性能评估的性能相关本体和语义web应用程序。 (英语) Zbl 1092.68515号 科学。计算。程序。 61,第1期,27-37(2006).MSC公司:68米10 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{I.Lera}等人,科学。计算。程序。61,第1号,27--37(2006;Zbl 1092.68515) 全文: 内政部
Michael E.Shin。;徐燕;费尔南多·帕尼亚瓜;安,郑勋 使用连接器检测软件架构中的异常。 (英语) Zbl 1094.68543号 科学。计算。程序。 61,第1期,16-26(2006).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Shin}等人,科学。计算。程序。61,No.1,16--26(2006;Zbl 1094.68543) 全文: 内政部