Übersetzung von „die Saar“ aus dem Deutsch ins Französisch

So sollen von den Saar-Informatikern entwickelte mathematische Methoden das Zusammenspiel der Komponenten automatisch überprüfen.

Ainsi, les méthodes mathématiques réalisées par l'équipe de l'université de la Sarre devraient reproduire le fonctionnement et l'interaction corrects des composants de manière autonome.