约翰·Hölzl 形式化概率程序预期运行时间的语义。 (英语) Zbl 1478.68138号 Blanchette,Jasmin Christian(编辑)等,交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9807, 475-482 (2016).MSC公司:68问题55 03B70号 68号30 第68季度87 68V20型 PDF格式BibTeX公司 XML格式引用 \文本{J.Hölzl},Lect。注释计算。科学。9807475--482(2016年;Zbl 1478.68138) 全文: 内政部
瓦卡尔·艾哈迈德;奥斯曼·哈桑;索菲涅·塔哈尔 形式可靠性建模与分析:一项调查。 (英语) Zbl 1344.68200号 Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。《人工智能课堂讲稿》,132-147(2016)。MSC公司:第68页第15页 60年第68季度 68问题85 第68季度87 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahmed}等人,Lect。注释计算。科学。9791、132--147(2016年;Zbl 1344.68200) 全文: 内政部 arXiv公司
约翰·Hölzl;安德烈亚斯·洛赫比勒;德米特里·特拉泰尔 概率系统类型的形式化层次结构。珍珠校样。 (英语) Zbl 1465.68199号 Urban,Christian(ed.)等人,《交互式定理证明》。2015年8月24日至27日,第六届国际会议,ITP 2015,中国南京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9236, 203-220 (2015).MSC公司:第68季度87 68问题65 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hölzl}等人,Lect。注释计算。科学。9236203-220(2015;Zbl 1465.68199) 全文: 内政部
纳伊姆·阿巴斯;奥斯曼·哈桑;索菲涅·塔哈尔 使用定理证明进行寿命可靠性分析的方法。 (英语) Zbl 1277.68216号 J.计算。系统。科学。 80,第2期,323-345(2014).MSC公司:第68季度87 第68页第15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Abbasi}等人,J.Compute。系统。科学。80,第2号,323--345(2014;Zbl 1277.68216) 全文: 内政部
刘丽娅;奥斯曼·哈桑;索菲涅·塔哈尔 HOL中有限状态离散时间马尔可夫链的形式化推理。 (英语) Zbl 1280.68124号 J.计算。科学。Technol公司。 28,第2期,217-231(2013).MSC公司:60年第68季度 第68页第15页 第68季度87 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}等人,J.Compute。科学。Technol公司。28,第2号,217--231(2013;Zbl 1280.68124) 全文: 内政部 链接
刘丽娅;奥斯曼·哈桑;索菲涅·塔哈尔 HOL中有限状态离散时间马尔可夫链的形式化。 (英语) Zbl 1348.68221号 Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996,90-104(2011)。MSC公司:第68页第15页 60J20型 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}等人,Lect。注释计算。科学。6996,90-104(2011;Zbl 1348.68221) 全文: 内政部