编辑配置文件（在新选项卡中打开） 亚斯梅恩·埃尔德哈利 合著者距离 作者ID： 埃尔德哈利·亚斯明 发布日期： 亚斯梅恩·埃尔德哈利 已编制索引的文档： 2出版物自2019年起 合著者： 3位合著者具有2联合出版物 49位合作作者 合著者 0 单作者的 2 奥斯曼·哈桑 2 索菲涅·塔哈尔 1 瓦卡尔·艾哈迈德 系列 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 领域 2 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 使用HOL定理证明进行形式化动态可靠性分析的框架。 Zbl 1455.68246号 亚斯梅恩·埃尔德哈利;奥斯曼·哈桑;索菲涅·塔哈尔 1 2020 使用HOL定理证明进行形式化动态可靠性分析的框架。 Zbl 1455.68246号 亚斯梅恩·埃尔德哈利;奥斯曼·哈桑;索菲涅·塔哈尔 1 2020 2位作者引用 1 穆罕默德·阿卜杜勒甘尼 1 索菲涅·塔哈尔 0连载引用 在2个字段中引用 1 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文