Spécificationvérification, optimisation Previous: L'exécutif alloue des

Une méthodologie pour spécifier, vérifier et optimiser basée sur des modèles de graphes

A