Examples with "OpenETCS implementation" and their translation in Duits
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
The SQC researchers focus on the formal verification of the OpenETCS implementation.
Der Schwerpunkt der Forscher von SQC liegt in der formalen Verifikation der OpenETCS-Implementierung.
Andere resultaten
In the project openETCS 44 European partners are working on the cost-efficient, reliable and open-source implementation of the European Train Control System (ETCS).
For this reason, 44 partners from 11 European countries work together in the project OpenETCS to develop an integrated model, development, validation and testing framework, to support a cost-efficient, reliable and, above all, open source based implementation of ETCS.
Im OpenETCS-Projekt arbeiten daher 44 Partner aus 11 europäischen Ländern an einem integrierten Modellierungs-, Entwicklungs-, Validierungs- und Testframework, um eine kosteneffiziente, zuverlässige und vor allem quelloffene Implementierung von ETCS zu unterstützen.
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.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor OpenETCS implementation in het Engels