A New Method for Transforming Timed Automata
- 作者Ahmed Khoumsi; Lucien Ouedraogo
- 卷第130卷
- 印刷ISSN1571-0661
- 文件大小484.38KB
- 发表时间2005
- DOI10.1016/j.entcs.2005.03.007
- 页码101-128
A New Method for Transforming Timed AutomataAhmed Khoumsi; Lucien Ouedraogo · 2005
On synthesizing test cases in symbolic real-time testingAhmed Khoumsi · 2006
Arborescent architecture for decentralized diagnosis of discrete event systemsKhoumsi, Ahmed · Discrete Event Dynamic Systems · 2020
Two formal methods for the synthesis of discrete event systemsAhmed Khoumsi; Kassem Saleh · 1997
A Survey of Image Compression Algorithms for Visual Sensor NetworksMammeri, Abdelhamid; Hadjou, Brahim; Khoumsi, Ahmed · ISRN Sensor Networks · 2012
Diagnosis of Faults in Real-Time Discrete Event SystemKhoumsi, Ahmed; Ouédraogo, Lucien · IFAC Proceedings Volumes · 2009
SetExp: a method of transformation of timed automata into finite state automataLucien Ouedraogo; Ahmed Khoumsi; Mustapha Nourelfath · 2010