„Verfikation“
Suchergebnisse
6 Treffer
-
Verification of program computations
-
Value at Risk – Bayesscher Zugang und Verfikation konkreter Probleme anhand von ausgewählten Monte Carlo Methoden ; Value at Risk - Bayesian Approach an the Verification of Concrete Problems Using Selective Monte Carlo Methods
-
Modulare und kompositionale Verfikation von zustandsendlichen Systemen
-
Korrekter Entwurf und Verfikation verteilter Systeme – the temporal logic of transitions ; ein unterstützender Rahmen
-
Die Verifikationstheorie und Wittgensteins Gebrauchstheorie der Bedeutung im Vergleich
-
Die Verifikationstheorie und Wittgensteins Gebrauchstheorie der Bedeutung im Vergleich