Mme. BOUARROUDJ Kenza soutiendra sa thèse de doctorat LMD le 16 Décembre 2014 à 9h  amphi 4 de la faculté des nouvelles technologies de l’information et de la communication,campus Ali Mendjeli.

.

.

Titre de la thèse:

Formal testing of stochastic real time systems under a maximality semantics

Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité

Résumé

Encadreur: Pr. Djamel Eddine Saidouni

Jury:

• Pr. Chaoui Allaoua                               Université Abdelhamid Mehri                     Président
• Pr. Ramdane Maamri                          Université Abdelhamid Mehri                     Examinateur
• Dr. Amirat Abdelkrim                            Université Souk-Ahras                                 Examinateur
• Dr. Bennoui Hammadi                         Université de Biskra                                     Examinateur

.

Toute personne intéressée est cordialement invitée.