Metadata
Author: cordis
Data
German[de]
Das Verfahren übertrifft andere, da es eher algorithmisch als deduktiv funktioniert und eine skalierbare, automatisierte Stabilitätsüberprüfung ermöglicht, welche die Grenzen der deduktiven Verfahren überwindet.
English[en]
The technique surpasses others in that it is algorithmic rather than deductive, enabling scalable, automated stability verification that overcomes the limitations of deductive techniques.
Spanish[es]
Al ser algorítmica en lugar de deductiva, la técnica sobrepasa a otras y posibilita una verificación de la estabilidad automática y escalable que supera las limitaciones de las técnicas deductivas.
French[fr]
Cette technique est meilleure car elle se base sur des algorithmes plutôt que sur des déductions et permet une vérification de stabilité automatisée et évaluable qui dépasse les limites des techniques de déduction.
Italian[it]
Tale tecnica supera le altre in quanto è algoritmica, anziché deduttiva, e consente una verifica di stabilità scalabile e automatizzata che supera i limiti delle tecniche deduttive.
Polish[pl]
Zaletą tej techniki jest to, że w przeciwieństwie do innych metod jest ona algorytmiczna a nie dedukcyjna, dzięki czemu umożliwia skalowalną, zautomatyzowaną weryfikację stabilności, pozbawioną ograniczeń technik dedukcyjnych.