Chane Yack Fa,拉斐尔;马克·弗拉皮耶;阿梅尔·曼玛;阿兰·芬克尔 单调信息系统的参数化验证。 (英语) Zbl 1398.68334号 正式Asp。计算。 30,编号3-4,463-489(2018).MSC公司:60年第68季度 68问题85 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{R.Chane-Yack-Fa}等人,正式Asp。计算。30,编号3--4,463--489(2018;Zbl 1398.68334) 全文: 内政部 哈尔
阿梅尔·曼玛;马克·弗拉皮耶 动态特性的基于验证的验证方法:应用于信息系统领域。 (英语) Zbl 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) 全文: 内政部
马克·弗拉皮耶;弗雷德里克·热尔维斯;雷吉尼·拉劳;杰雷米·米尔豪 ASTD的优化模式。 (英语) Zbl 1342.68182号 正式Asp。计算。 26,第5期,919-941(2014).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Frappier}等人,正式Asp。计算。26,第5号,919--941(2014;Zbl 1342.68182) 全文: 内政部