穆罕默德·格雷特;拉萨·哈默勒;阿梅尔·曼玛;萨米尔·塔塔 基于弹性组件的应用程序的验证和部署方法。 (英语) Zbl 1377.68039号 正式Asp。计算。 29,第6期,987-1011(2017).MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Graiet}等人,《正式Asp》。计算。29,第6号,987--1011(2017;Zbl 1377.68039) 全文: 内政部
阿梅尔·曼玛;马克·弗拉皮耶 动态特性的基于验证的验证方法:应用于信息系统领域。 (英语) 兹比尔1331.68142 正式Asp。计算。 27,第2期,335-374(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mammar}和\textit{M.Frappier},正式Asp。计算。27,第2号,335--374(2015;Zbl 1331.68142) 全文: 内政部