Vérification distribuée des systèmes complexes.
Une autre approche basée sur le calcul des composantes fortement connexes, peut être utilisée en distribué pour le test du vide dans un automate ...Télécharger Vérification distribuée des systèmes complexes. pdf
