费利佩·戈罗斯蒂亚加;塞萨尔·桑切斯 使用工具HStriver对实时事件流进行运行时验证。 (英语) Zbl 07785149号 形式方法系统。设计。 61,第1期,第3-34页(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Gorostiaga}和\textit{C.Sánchez},《形式方法系统》。设计。61,编号1,3--34(2022;Zbl 07785149) 全文: 内政部
弗雷德里克·多塞特;罗伯特·库尔珊 一种在RTL验证过程中对高级验证加以赞扬的方法。 (英语) Zbl 1386.68100号 形式方法系统。设计。 51,No.2,395-418(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Doucet}和\textit{R.Kurshan},形式方法系统。设计。51,No.2,395--418(2017;Zbl 1386.68100) 全文: 内政部
迈克尔·门德勒;Thomas R.Shiple。;杰拉德·贝里 构造布尔电路和定时三值模拟的精确性。 (英语) Zbl 1303.94148号 形式方法系统。设计。 40,第3期,283-329(2012).MSC公司:94立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mendler}等人,《形式方法系统》。设计。40,第3号,283--329(2012;Zbl 1303.94148) 全文: 内政部
托拜厄斯·舒勒;克劳斯·施耐德 无限状态系统的有界模型检验。 (英语) Zbl 1117.68047号 形式方法系统。设计。 30,第1号,51-81(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Schuele}和\textit{K.Schneider},《形式方法系统》。设计。30,第1号,51--81(2007;Zbl 1117.68047) 全文: 内政部
Yunja Choi先生 从NuSMV到SPIN:模型检查飞行制导系统的经验。 (英语) Zbl 1111.68502号 形式方法系统。设计。 30,第3期,199-216(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Choi},形式方法系统。设计。30,第3号,199--216(2007;Zbl 1111.68502) 全文: 内政部
杜米特鲁·波托普·布图卡鲁;贝诺·凯劳德;阿尔伯特·本韦尼斯特 同步系统中的并发。 (英语) Zbl 1100.68004号 形式方法系统。设计。 28,第2期,111-130(2006).MSC公司:64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{D.Potop-Butucaru}等人,《形式方法系统》。设计。28,第2111-130号(2006年;兹bl 1100.68004) 全文: 内政部 链接
卢卡·卡洛尼(Luca P.Carloni)。;Alberto L.Sangiovanni-Vincentelli。 同步设计的分布式部署建模框架。 (英语) Zbl 1099.68524号 形式方法系统。设计。 28,第2期,93-110(2006).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Carloni}和\textit{A.L.Sangiovanni-Vincentelli},《形式与方法系统》。设计。28,第2号,93--110(2006;Zbl 1099.68524) 全文: 内政部