The goal of formal verification is to obtain strict statements about the correct functioning of a system by means of mathematically founded methods.
Das Ziel der formalen Verifikation ist es, mittels mathematisch fundierter Methoden, strenge Aussagen über das korrekte Funktionieren eines Systems zu erhalten.
The membership of the local green card bureau ensures a smooth functioning of a system without a need to check the insurance certificates.
Die Mitgliedschaft beim örtlichen Grüne-Karte-Büro sorgt für das reibungslose Funktionieren eines Systems, ohne das Versicherungszertifikate geprüft werden müssten.
What happens to the functioning of a system - bodily or societal - when its structure has been broken?
Was passiert also mit der Funktion eines Systems - ob körperlich oder gesellschaftlich -, wenn dessen Form zerbrochen, kaputt ist?
In bones, joints and muscles function determines/ influences structure; structure determines function. What happens to the functioning of a system - bodily or societal - when it's structure has been broken?
In Knochen, Gelenken, Muskeln entscheidet Form über Funktion und Funktion über Form.Was passiert also mit der Funktion eines Systems - ob körperlich oder gesellschaftlich -, wenn dessen Form zerbrochen, kaputt ist?
They give a brief insight into the functioning of a system or a product.
Hidden software that can disrupt or shut down the functioning of a system when given the command from afar.
Versteckte Software, die auch auf Befehl von außen reagieren kann, die Funktionsweise eines Systems stört oder das System unbrauchbar macht.
When a maintenance check flight is intended to check the proper functioning of a system or equipment, that system or equipment shall be identified as potentially unreliable, and appropriate mitigation measures shall be agreed prior to the flight in order to minimise risks to flight safety.'
Soll bei einem Instandhaltungstestflug das ordnungsgemäße Funktionieren eines Systems oder einer Ausrüstung überprüft werden, ist dieses System oder diese Ausrüstung als potenziell unzuverlässig zu kennzeichnen und vor dem Flug sind geeignete Abhilfemaßnahmen zu vereinbaren, um die Risiken für die Flugsicherheit möglichst gering zu halten.
Every Member State must take all the measures necessary to ensure the effective functioning of a system that warns the public about dangerous counterfeit or low quality medicines and even creates opportunities to remove such medicines from the market.
Die Mitgliedstaaten müssen alle Maßnahmen ergreifen, die notwendig sind, um das effektive Funktionieren eines Systems sicherzustellen, dass die Öffentlichkeit vor gefährlichen Arzneimitteln warnt, die gefälscht oder von minderwertiger Qualität sind, und das auch Möglichkeiten schafft, um solche Arzneimittel vom Markt zu entfernen.
But not only the hardware and software are responsible for the optimal functioning of a system. Pastexperience has shown that economic aspects must be considered.
Doch nicht allein Hardware und Softwaresind für das optimale Funktionieren eines Systems verantwortlich.Die Vergangenheit hat gezeigt, dass auch betriebswirtschaftlicheAspekte betrachtet werden müssen.
Such systems are critical for the functioning of a system as they supply services that are required by user applications.
Diese Komponenten stellen essentielle Teile eines Systems dar, da sie Dienste bereitstellen, auf denen andere Applikationen aufbauen.
The high-performance plug connectors of this provider are used, wherever signals are transmitted, motors controlled or the proper functioning of a system must be monitored.
Überall, wo Signale übertragen, Motoren gesteuert oder das reibungslose Funktionieren einer Anlage überwacht werden sollen, kommen die hochwertigen Steckverbindungen dieses Anbieters zum Einsatz.
For this reason, it is important to know the condition of the rollers in order to ensure the smooth functioning of a system.
Aus diesem Grund ist es wichtig, den Zustand der Rollen zu kennen, um die reibungslose Funktion einer Anlage zu gewährleisten.
Cutting-edge measurement and control technology is the basic requirement for the optimisation of technology and of the overall functioning of a system. 9.
Eine dem Stand der Technik entsprechende Mess-, Regel- und Steuerungstechnik ist die Grundvoraussetzung für die Optimierung der Technik und damit für die Gesamtfunktion einer Anlage.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.