贝扎德·阿克巴普尔;索菲涅·塔哈尔;阿卜杜卡德·德克杜克 HOL中不动点算法的形式化。 (英文) Zbl 1085.68148号 形式方法系统。设计。 27,第1-2号,173-200(2005).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Akbarpour}等人,《形式方法系统》。设计。27,编号1--2,173-200(2005;Zbl 1085.68148) 全文: 内政部 链接
阿尔贝托·维尔德乔;马丁·奥列特,纳西索 Maude中语义执行的两个案例研究:CCS和LOTOS。 (英文) Zbl 1086.68552号 形式方法系统。设计。 27,第1-2号,113-172(2005).MSC公司:2012年第68季度 68问题55 60年第68季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Verdejo}和\textit{N.Martí-Oliet},《形式方法系统》。设计。27,编号1--2,113--172(2005;Zbl 1086.68552) 全文: 内政部
贾扬塔·巴德拉;安德鲁·马丁。;雅各布·A·亚伯拉罕。 摩托罗拉MPC7450微处理器嵌入式定制存储器验证的正式框架。 (英文) Zbl 1086.68517号 形式方法系统。设计。 27,编号1-2,67-112(2005).MSC公司:68M99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bhadra}等人,《形式方法系统》。设计。27,编号1--2,67-112(2005;Zbl 1086.68517) 全文: 内政部
莎朗·巴纳;奥尔纳·格伦伯格 结合对称约简和欠近似进行符号模型检查。 (英文) Zbl 1085.68086号 形式方法系统。设计。 27,编号1-2,29-66(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Barner}和\textit{O.Grumberg},《形式方法系统》。设计。27,编号1--2,29-66(2005;Zbl 1085.68086) 全文: 内政部
米洛斯·贝斯塔;弗兰克·斯托普 字符串预处理算法正确性的完全机械化。 (英文) Zbl 1085.68149号 形式方法系统。设计。 27,第1-2、5-17号(2005).MSC公司:68吨15 第68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Besta}和\textit{F.Stomp},《形式方法系统》。设计。27,编号1--2,5--17(2005;Zbl 1085.68149) 全文: 内政部