吕西安·韦德拉奥戈;艾哈迈德·库姆西;穆斯塔法·努勒法特 SetExp:将时间自动机转换为有限状态自动机的方法。 (英语) Zbl 1205.68210号 实时系统。 46,第2期,189-250(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ouedraogo}等人,《实时系统》。46,第2号,189--250(2010;Zbl 1205.68210) 全文: 内政部
穆斯塔法·努勒法特;艾哈迈德·库姆西 网格自动机和密集实时离散事件系统的监督控制。 (英语) Zbl 1093.93020号 数学。计算。模拟。 70,编号5-6,408-418(2006).MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Nourelfath}和\textit{A.Khoumsi},数学。计算。模拟。70,编号5--6,408--418(2006;Zbl 1093.93020) 全文: 内政部
艾哈迈德·库姆西 一种监督控制方法,用于确保实时离散事件系统的一致性。 (英语) Zbl 1101.93049号 离散事件动态。系统。 15,第4期,397-431(2005).MSC公司:93元65角 PDF格式BibTeX公司 XML格式引用 \textit{A.Khoumsi},离散事件动态。系统。15,第4号,397--431(2005;Zbl 1101.93049) 全文: 内政部
艾哈迈德·库姆西;蒂埃里·杰伦;埃尔文·马尔坎德 非确定性实时系统的测试用例生成。 (英语) Zbl 1185.68415号 Petrenko,Alexandre(编辑)等人,软件测试的正式方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会,FATES 2003。修改后的文件。柏林:施普林格出版社(ISBN 3-540-20894-1/pbk)。莱克特。注释计算。科学。293131-146(2004)中所述。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Khoumsi}等人,Lect。注释计算。科学。2931、131--146(2004年;Zbl 1185.68415) 全文: 内政部
艾哈迈德·库姆西 一种测试实时系统一致性的方法。 (英语) Zbl 1278.68036号 Damm,Werner(ed.)等人,实时和容错系统中的形式化技术。2002年9月9日至12日,第七届国际研讨会,FTRTFT 2002,由IFIP WG 2.2联合主办,德国奥尔登堡。诉讼程序。柏林:施普林格出版社(ISBN 3-540-44165-4/pbk)。计算机科学课堂讲稿2469331-351(2002)。MSC公司:68米15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Khoumsi},莱克托。注释计算。科学。2469331--351(2002年;Zbl 1278.68036) 全文: 内政部