阿德南·拉希德;奥斯曼·哈桑 使用HOL灯. (英语) Zbl 1458.68220号 正式Asp。计算。 32,编号2-3,229-250(2020).MSC公司:第68页第40页 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Rashid}和\textit{O.Hasan},正式Asp。计算。32,编号2--3,229--250(2020;Zbl 1458.68220) 全文: DOI程序 arXiv公司
瓦卡尔·艾哈迈德;奥斯曼·哈桑;塔哈尔,索菲亚 智能电网变电站基于以太网的通信网络的形式可靠性和故障分析。 (英语) Zbl 1451.68057号 正式Asp。计算。 32,第1期,第71-111页(2020年).MSC公司:68米15 68M10个 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahmad}等人,正式Asp。计算。32,编号1,71--111(2020;Zbl 1451.68057) 全文: DOI程序
梅萨·埃卢克;奥斯曼·哈桑;塔哈尔,索菲亚;穆罕默德·阿比德 无线传感器网络检测特性的形式化概率分析。 (英语) Zbl 1328.68037号 正式Asp。计算。 第1期第27页,第79-102页(2015年).MSC公司:68平方米 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Elluch}等人,正式Asp。计算。27,No.1,79--102(2015;Zbl 1328.68037) 全文: DOI程序