Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Suggesties: polyspace
Publiciteit
et polyspace

Examples with "et polyspace" and their translation in Engels

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.
polyspace
Polyspace
Les ingénieurs automobiles développant des systèmes embarqués critiques peuvent continuer à utiliser les produits Simulink et Polyspace certifiés dans le kit de certification IEC pour la prochaine génération des développements et designs de sécurité fonctionnelle.
Automotive engineers developing high-integrity embedded systems can continue using Simulink and Polyspace products certified in IEC Certification Kit for the next generation of functional safety designs and development.
La robustesse du logiciel a également été vérifiée avec Polyspace Bug Finder et Polyspace Code Prover lors des phases d'intégration et de développement.
Polyspace Bug Finder and Polyspace Code Prover for formal verification of hand-written and generated code

Andere resultaten

Objectif: Revoir les acquis de la formation et utiliser Polyspace Code Prover directement sur un de vos projets.
Objetivo: Spend time reviewing what you have learned and applying Polyspace Code Prover directly to your own project.
Ces nouveaux produits automatisent et intègrent Polyspace aux processus de développement logiciel afin d'assigner les défauts, d'envoyer des notifications et d'importer les résultats dans les produits Polyspace Access automatiquement
The new products automate and integrate Polyspace into software development processes to automatically assign defects, send notifications, and upload results to Polyspace Access products
Polyspace Code Prover Access offre une interface web pour les résultats de vérification de code Polyspace et les métriques de qualité stockés dans une base de données centrale.
Review Polyspace Code Prover results on a web browser, add comments and create tickets, download and upload results, generate reports Manage Polyspace Code Prover Access Software
Affichage des résultats d'erreurs d'exécution par Polyspace Code Prover.
Run-time error results displayed by Polyspace Code Prover.
Polyspace Code Prover peut être intégré à des systèmes de déploiement pour une vérification automatisée.
Polyspace Code Prover can be integrated into build systems for automated verification.
Découvrez-en davantage sur Polyspace Bug Finder en consultant ces ressources.
Then, run Polyspace Bug Finder on the generated code.
Envoi de notifications par email avec les résultats de Polyspace Bug Finder.
Send Email Notifications Send email notifications with Polyspace Bug Finder results.
Objectif: Trouver les erreurs d'exécution à l'aide des diagnostics disponibles dans Polyspace Code Prover.
Objetivo: Find run-time errors using diagnostics available in Polyspace Code Prover.
Reportez-vous aux façons de rendre les logiciels embarqués sûrs et sécurisés avec les produits Polyspace.
Learn 7 ways to make your embedded software safe and secure with static code analysis and formal methods.
Intégrez Polyspace Bug Finder avec n'importe quel compilateur, processeur cible et environnement RTOS.
Integrate Polyspace Bug Finder with any compiler, target processor, and RTOS environment.
Polyspace Code Prover utilise un code de couleur pour indiquer l'état de chaque élément du code.
Polyspace Code Prover uses color-coding to indicate the status of each element in the code.
Er zijn geen resultaten gevonden voor deze term.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.

Synoniemen voor et polyspace in het Frans

Publiciteit

Resultaten: 44. Exact: 2. Verstreken tijd: 84 ms.