玛丽亚娜·卢德里茨·科尔伯格;路易斯·古斯塔沃·费尔南德斯;达西迪奥·莫莱斯·克劳迪奥 密集线性系统:一个并行自验证求解器。 (英语) Zbl 1154.68361号 国际J并行程序。 36,第4期,412-425(2008).MSC公司:68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Kolberg}等人,《国际并行程序》。36,第4号,第412-425页(2008年;兹bl 1154.68361) 全文: 内政部
埃内斯托·桑切斯;马特奥·桑扎·雷尔达;乔瓦尼·斯基列罗 面向自动验证的测试集优化的有效技术。 (英语) Zbl 1100.68587号 国际J并行程序。 34,第1期,93-109(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Sánchez}等人,《国际并行程序》。34,第1号,93--109(2006;Zbl 1100.68587) 全文: 内政部
大卫·柯里;冯秀珊;Masahiro Fujita;胡亚伦·J·。;Kwan,马克;斯雷兰加·拉詹 使用符号执行和未解释的功能进行嵌入式软件验证。 (英语) 兹比尔1100.68586 国际J并行程序。 34,第1期,61-91(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Currie}等人,《国际并行程序》。34,第1号,61--91(2006;Zbl 1100.68586) 全文: 内政部
陈曦;谢,哈里;费利斯·巴拉林 Metropolis嵌入式系统设计框架的验证方法。 (英语) Zbl 1100.68585号 国际J并行程序。 34,编号1,3-27(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人,《国际并行程序》。34,第1号,第3--27号(2006;Zbl 1100.68585) 全文: 内政部
萨马尔·阿卜迪;丹尼尔·加伊斯基 验证系统级模型转换。 (英语) Zbl 1100.68061号 国际J并行程序。 34,第1期,29-59(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Abdi}和\textit{D.Gajski},国际J。并行程序。34、第1号、第29-59号(2006;Zbl 1100.68061) 全文: 内政部
米尔科·洛吉;蒂齐亚娜·玛格丽亚;格拉齐亚诺·普拉瓦德利;伯恩哈德·斯特芬 嵌入式系统的动态和形式验证:一项比较调查。 (英语) Zbl 1099.68659号 国际J并行程序。 33,第6号,585-611(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Loghi}等人,《国际并行程序》。33,第6号,585--611(2005;Zbl 1099.68659) 全文: 内政部
阿尔弗雷德·科埃尔;卡尔·皮克斯利 使用符号模拟从高级描述构建高效的形式化模型。 (英语) 兹比尔1100.68067 国际J并行程序。 33,第6期,645-666(2005).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Koelbl}和\textit{C.Pixley},国际J。并行程序。33,第6号,645--666(2005;Zbl 1100.68067) 全文: 内政部
伊尼戈·乌加特;巴勃罗·桑切斯 基于区间分析的嵌入式系统验证。 (英语) 兹比尔1099.68661 国际J并行程序。 33,第6号,697-720(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Ugarte}和\textit{P.Sanchez},《国际并行程序》。33,第6号,697--720(2005;Zbl 1099.68661) 全文: 内政部
弗朗西斯科·布鲁西;法布里奇奥·费兰迪;多纳泰拉·西乌托 SystemC模型的功能验证框架。 (英语) Zbl 1100.68064号 国际J并行程序。 33,第6期,667-695(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bruschi}等人,《国际并行程序》。33,编号667-695(2005年;Zbl 1100.68064) 全文: 内政部
Jean-Pierre塔宾;保罗·勒(Paul Le Guernic);桑迪普·库马尔·舒克拉;拉杰什·古普塔 用于嵌入式系统设计和一致性检查的组合行为建模框架。 (英语) Zbl 1100.68070号 国际J并行程序。 33,第6号,613-643(2005).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Talpin}等人,《国际并行程序》。33,第6号,613--643(2005;Zbl 1100.68070) 全文: 内政部 哈尔
购物中心,R。;帕特奈克,L.M。 分布式系统的形式化时序分析。 (英语) Zbl 0761.68061号 国际J并行程序。 20,第2期,75-94(1991).MSC公司:60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Mall}和\textit{L.M.Patnaik},国际J.并行程序。20,第2号,75--94(1991;Zbl 0761.68061) 全文: 内政部
保罗·费尤特里尔 数组和标量引用的数据流分析。 (英语) Zbl 0741.68075号 国际J并行程序。 20,第1期,23-53(1991年).MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Feautrier},国际J.并行程序。20,编号1,23--53(1991;Zbl 0741.68075) 全文: 内政部
曼弗雷德·布罗伊;托马斯·斯特里彻 共享资源仲裁的规范和设计。 (英语) Zbl 0741.68034号 国际J并行程序。 20,第1期,第1-22页(1991年).MSC公司:68N99型 68问题55 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{T.Streicher},国际J。并行程序。20,第1号,1--22(1991;Zbl 0741.68034) 全文: 内政部
Ambuj K·辛格。;罗斯·奥弗贝克 高效并行程序的推导:来自遗传序列分析的一个例子。 (英语) Zbl 0703.68076号 国际J并行程序。 第6447-484号第18页(1990年).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Singh}和\textit{R.Overbeek},国际J并行程序。18,第6号,447--484(1990;Zbl 0703.68076) 全文: 内政部
珍妮特·温格。 验证原子数据类型。 (英语) Zbl 0701.68076号 国际J并行程序。 18,第5号,315-357(1989).MSC公司:60年第68季度 第68季度第65季度 68米15 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Wing},国际J.并行程序。18,编号5,315--357(1989;Zbl 0701.68076) 全文: 内政部
兰斯·克莱维兰;帕南加登,普拉卡什 类型理论和并发。 (英语) 兹比尔0678.68017 国际J并行程序。 17,第2期,153-206(1988). 审核人:J.-J.Ch.梅耶 MSC公司:68N25号 第68页第15页 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{P.Panangaden},国际J。并行程序。17,第2号,153--206(1988;Zbl 0678.68017) 全文: 内政部
尼西姆·弗朗西兹;Shmuel Katz 公平性和控制谓词公理。 (英语) Zbl 0647.68014号 国际J并行程序。 16,第4期,263-278(1987).MSC公司:60年第68季度 第68季度第65季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}和\textit{S.Katz},Int.J.并行程序。16,第4号,263--278(1987;Zbl 0647.68014) 全文: 内政部
迈克尔·梅因(Michael G.Main)。 通信过程的跟踪、故障和测试等效项。 (英语) Zbl 0646.68033号 国际J并行程序。 16,第5期,383-400(1987).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Main},国际J并行程序。16,第5号,383--400(1987;Zbl 0646.68033) 全文: 内政部
迈克尔·沃尔夫;北方邦班纳吉 数据相关性及其在并行处理中的应用。 (英语) Zbl 0639.68019号 国际J并行程序。 16,第2期,137-178(1987).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Wolfe}和\textit{U.Banerjee},国际J。并行程序。16,编号2,137-178(1987年;兹bl 0639.68019) 全文: 内政部
保罗·哈达克 副功能编程语言的表示语义。 (英语) Zbl 0607.68003号 国际J并行程序。 15, 103-125 (1986).MSC公司:68号01 60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Hudak},《国际并行程序》。15、103-125(1986年;Zbl 0607.68003) 全文: 内政部
西蒙·卡西夫 逻辑程序的控制和数据驱动执行:比较。 (英语) Zbl 0604.68011号 国际J并行程序。 15, 73-99 (1986).MSC公司:60年第68季度 68N25号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.Kasif},《国际并行程序》。15、73——99(1986;Zbl 0604.68011) 全文: 内政部