Bonjour,
s'il vous plais.. j'ai bousoin des documents pour faire mon sujet de memoir de fin d'etude licence LMD.. et mon theme le suivant: {EQUILIBRAGE DE CHARGE DE LA GENERATION DISTRIBUée D'ESPACE D'ETATS}
avec les mots cle suivants :
vérification formelle, modele checking, exploration d'espace d'etat, programmation distribuée....