穆罕默德·贾比尔;伊利耶斯·法尔科内;保罗·阿蒂;阿巴斯·哈利勒;哈拉尔(Rayan Hallal);安托万·埃尔·霍卡耶姆 从全球编舞到可验证的高效分布式实现。 (英文) Zbl 1452.68125号 J.日志。阿尔盖布。方法计划。 115,文章ID 100577,23 p.(2020).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Jaber}等人,J.Log。阿尔盖布。方法计划。115,文章ID 100577,23 p.(2020;Zbl 1452.68125) 全文: 内政部 arXiv公司 哈尔
安托万·埃尔·霍卡耶姆;伊利耶斯·法尔科内;穆罕默德·贾比尔 将基于正式组件的系统中的行为和架构横切关注点模块化——应用于行为交互优先级框架。 (英文) Zbl 1395.68092号 J.日志。阿尔盖布。方法计划。 99, 143-177 (2018).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.El-Hokayem}等人,J.Log。阿尔盖布。方法计划。99、143--177(2018;Zbl 1395.68092) 全文: 内政部 arXiv公司