publicações Conception d'architectures testables et determination des vecteurs de test pour les circuits spécifiques fortement intégrés de la machine MàRS (Machine à Réduction Symbolique) Documento