Elaboration d'une approche basée sur MDRA pour la spécification et vérification de comportements du système mutliagent réactif

HAQIQ ABDELHAY

Date: 2010

Discipline: informatique

Centre d'Etudes Doctorales (CED): Sciences et technologies de l'information et de l'ingénieur

Encadrant: BOUNABAT Bouchaib

Equipe/Laboratoire: Qualité des Architectures Logicielles, leur Développement et Intégration

Fichiers dans ce document

Fichiers	Taille	Format	Voir
Il n'ya pas de fichiers associés à cette thèse.