Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
software verifications
Examples with "software verifications" and their translation in Duits
A trial restoration can reveal hardware problems that do not appear with software verifications.
Bei einer probeweisen Datenwiederherstellung können Hardwareprobleme aufgedeckt werden, die bei softwareseitigen Überprüfungen nicht entdeckt werden.
Andere resultaten
Some applications of model theory include software verification and formal analysis.
Einige Anwendungen der Modelltheorie umfassen die Verifikation von Software und die formale Analyse.
The thesis investigates an approach to automated software verification based on pushdown systems.
Die Arbeit untersucht einen Ansatz zur automatischen Softwareverifikation, der auf Pushdown-Systemen basiert.
The disk format is an internal software verification number.
Das DiskettenKalibrationDisketteFormatformat ist eine interne Prüfnummer für die Software.
DO Qualification Kit provides resources for qualifying MathWorks software verification tools.
Das DO Qualification Kit enthält die zum Qualifizieren von MathWorks-Softwareverifizierungstools erforderlichen Ressourcen.
Lots of things are happening in that area of software verification.
In diesem Bereich der Software-Verifizierung tut sich sich eine Menge.
The independent software verification and validation consistently applies internationally-recognised standards (e.g.
Die unabhängige Softwareverifizierung und -validierung wendet international anerkannte Standards (z.
Software verification describes the process of checking whether software fulfils the specified demands.
Die Software-Verifikation beschreibt den Prozess des Überprüfens, ob eine Software die spezifizierten Anforderungen erfüllt.
Software verification of the sample feed and dispersion settings aids method standardization and control
Software-Verifizierung der Probenzuführungs- und Dispergierungseinstellungen für die Standardisierung und Steuerung von Methoden
Emin Karayel is a mathematician with a strong leaning towards functional programming, proof theory, and software verification.
Emin Karayel ist Mathematiker mit Affinität zu funktionalen Programmiersprachen, Beweistheorie und Softwareverifikation.
Software verification tools can make a significant contribution to ensuring the security and reliability of digital technologies.
Werkzeuge zur Softwareanalyse können einen bedeutenden Beitrag leisten, die Sicherheit und Zuverlässigkeit digitaler Technologien zu gewährleisten.
For this reason, our service includes system requirement analysis as well as software verification.
Aus diesem Grund reichen unsere Leistungen von der Anforderungsanalyse des Systems bis zur Verifikation der Software.
Embedded Software Verification with Polyspace Products for...
Verifikation von Embedded Software für FDA-zertifizierte...
Synoniemen voor software verifications in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 1121. Exact: 1. Verstreken tijd: 271 ms.
