Preface
- 作者Ruy de Queiroz; Angus Macintyre; Guilherme Bittencourt
- 卷第143卷
- 印刷ISSN1571-0661
- 文件大小93.22KB
- 发表时间2006
- DOI10.1016/j.entcs.2005.06.032
- 页码1-4
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