Guellati Souad
التفاصيل
| المنشورات |
|---|
|
Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel Eddine Saidouni
True Concurrency Semantics: Towards a Verification of Timed Systems. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 5(2): 22-42 (2014) |
|
|
Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel Eddine Saidouni
Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. 6th Int. Conf. on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC'14): 269-276 (2014) |
|
|
Riadh Matmat; Ilham Kitouni; Souad Guellati; Djamel Eddine Saidouni
Maximality-based Region Graph: A Novel Alternative. 1st Int. Conf. on Advanced Aspects of Software Engineering (ICAASE'14): 125-132 (2014) |
|
|
Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel Eddine Saidouni
Timed Automata with Action Durations: From Theory to Implementation. 20th Int. Conf. Information and Software Technologies (ICIST'14): 94-109 (2014) |
| أطروحة الدكتوراه |
|---|
|
Guellati Souad
Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité. Université Constantine 2, Algérie (2015) |
لا توجد مواد مدرّسة للعرض.
لا يوجد طلبة دكتوراه للعرض.
لا توجد تدريبات للعرض.
لا توجد برامج للعرض.