Telecharger Cours

Christophe JOUBERT Vérification distribuée `a la volée de grands ...

Résumé : La vérification des syst`emes d'états finis, qu'ils soient distribués ou concurrents, est confrontée en pratique au probl`eme d'explosion d'états ...



Download