1

 
Thèse de : Doctorat en Sciences 
Titre : Modèles et Algorithmes pour le Test des Systèmes Temps Réel 
Auteur : Kitouni Ilham 
Directeurs : Pr. Djamel-Eddine SAIDOUNI 
Editeur : Université Constantine2 - Constantine 
Année de publication : 2013 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : systèmes temps réel, modélisation des systèmes, automates temporisés, sémantique de maximalité, test basé sur les modèles, test de conformité. 
Mots Clés (Ar) :  
Keywords :  
En ligne : Modèles et Algorithmes pour le Test des Systèmes Temps Réel



Thèse de : Doctorat en Sciences 
Titre : Méthodes bio-inpirées hybrides pour la résolution de problèmes complexes 
Auteur : Labed Said 
Directeurs : Pr. Chikhi Salim - Univeristé Constantine2 
Editeur : Université Constantine2 - Constantine 
Année de publication : 2013 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : hybridation, optimisation, méthodes bio-inspirées, émergence, complexité 
Mots Clés (Ar) : التھجین، الإستمثال، طرق مستمدة من الطبیعة، الإنبثاق، التعقید 
Keywords : hybridization, optimization, bio-inspired methods, emergence, complexity 
En ligne : Méthodes bio-inpirées hybrides pour la résolution de problèmes complexes