AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Riadh Matmat|R.Matmat

Riadh Matmat|R.Matmat

University Center of Illizi - Illizi / Algeria
Others
AD Scientific Index ID: 4911192
Centre Universitaire d'illizi
person_outline Riadh Matmat|R.Matmat's MOST POPULAR ARTICLES
1-) Timed automata with action durations–from theory to implementation International Conference on Information and Software Technologies, 94-109, 2014
2-) True concurrency semantics: Towards a verification of timed systems International Journal of Embedded and Real-Time Communication Systems …, 2014
3-) Distributed state space generation based distributed hash tables The International Arab Conference on Information Technology, ACIT, 10-13, 2012
4-) True concurrency semantics: Towards a verification of timed systemsS Guellati, I Kitouni, R Matmat, DE SaidouniInternational Journal of Embedded and Real-Time Communication Systems …, 201422014
5-) Distributed state space generation based distributed hash tablesR Matmat, I Bensetira, DE SaidouniThe International Arab Conference on Information Technology, ACIT, 10-13, 201222012