编辑配置文件(在新选项卡中打开) 亚斯梅恩·埃尔德哈利 合著者距离 作者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) 按年份列出的引文