Raghavan拉曼;赵继生;维威克·萨卡尔;马丁·维切夫;埃兰·雅哈夫 高效的异步并行数据竞争检测。 (英语) Zbl 1284.68144号 形式方法系统。设计。 41,第3期,321-347(2012).MSC公司:68甲19 68平方米 68宽10 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Raman}等人,《形式方法系统》。设计。41,第3号,321--347(2012;Zbl 1284.68144) 全文: 内政部
贾斯汀·塞斯特;迪克西特、科坦;黄晓婉;拉杜·格罗苏;克劳斯·哈维隆德;斯科特·斯莫尔卡。;斯科特·斯托勒。;埃雷兹·扎多克 互方面:具有GCC的面向方面仪器。 (英语) Zbl 1284.68153号 形式方法系统。设计。 41,第3期,295-320(2012).MSC公司:68N20型 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Seyster}等人,《形式方法系统》。设计。41,第3号,295--320(2012;Zbl 1284.68153) 全文: 内政部
克里斯蒂安·科伦坡;戈登·佩斯。;帕特里克·阿贝拉 使用补偿实现更安全的异步运行时监控。 (英语) 兹比尔1284.68142 形式方法系统。设计。 41,第3期,269-294(2012).MSC公司:68甲19 68纳米30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Colombo}等人,《形式方法系统》。设计。41,第3号,269--294(2012;Zbl 1284.68142) 全文: 内政部
戴安·塔巴科夫;克里斯汀·罗泽尔。;莫舍·瓦尔迪。 SystemcC的优化时间监视器。 (英语) Zbl 1284.68206号 形式方法系统。设计。 41,第3期,236-268(2012).MSC公司:68纳米30 68甲15 68页30 PDF格式BibTeX公司 XML格式引用 \textit{D.Tabakov}等人,《形式方法系统》。设计。41,第3号,236--268(2012;Zbl 1284.68206) 全文: 内政部
奥列格·索科尔斯基(编辑);格里高·罗什乌(编辑) 介绍运行时验证的特殊问题。 (英语) Zbl 1284.68034号 形式方法系统。设计。 41,第3期,233-235(2012).MSC公司:68-06 68新元 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{O.Sokolsky}(编辑)和\textit{G.Rošu}(主编),《形式方法系统》。设计。41,第3号,233--235(2012;Zbl 1284.68034) 全文: 内政部