العنوان | المؤلف | ||
---|---|---|---|
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
|
Maati Bouchera | CFSC | منذ سنتين |
Proposition d’algorithmes de distribution des espaces d’états en vue d’une vérification basée model checking : Application aux automates temporisés avec durées d’actions
|
ايمان بن ستيرة | CFSC | منذ 6 سنوات |
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
|
Layadi Saïd | CFSC | منذ 6 سنوات |
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles
|
Boukharrou Radja | CFSC | منذ 8 سنوات |
Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité
|
Guellati Souad | CFSC | منذ 8 سنوات |
نهج متعدد الوكلاء لتصميم أنظمة الذكاء الاصطناعي المحيط: نموذج منهجي مبني على التخطيط والتعلم
|
أحمد شوقي شاوش | CFSC | منذ 8 سنوات |
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel
|
نبيل بلعلى | CFSC | منذ 13 سنة |
Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel
|
مراد بوزنادة | CFSC | منذ 16 سنة |
Approche de vérification contextuelle des systèmes ambiants
|
Khennaoui Roumeissa | CFSC | جارية |
Développement de systèmes intégrés pour le smart campus
|
عبير نموشي | CFSC | جارية |
Planification événementielle dans un système d'intelligence ambiante
|
هشام بيطيش | CFSC | جارية |
Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
|
فاروق مداح | CFSC | جارية |
Protection de la vie privée dans les environnements IoT : Application aux smart-cities
|
محمد الامين دايخة | CFSC | جارية |
Utilisation des techniques de Process Mining pour l’analyse, la vérification et l’amélioration des processus métier
|
سلسبيل إيناس بوهيدل | CFSC | جارية |