Il y a 1 Résultats pour : "algèbre de processus; logique temporelle; méthodes formelles; model checking; vérification parallèle et distribuée"