Accueil » Archives » Revue ElectroniqueS » Vérification automatique des modèles TargetLink de dSpace selon MISRA

Vérification automatique des modèles TargetLink de dSpace selon MISRA

Le 03/09/2008 à 12:19 par Cédric Lardière

L’allemand dSpace, fournisseur de solutions pour le développement et le test des systèmes embarqués, vient d’introduire la version 1.2 de Mo…

L’allemand dSpace, fournisseur de solutions pour le développement et le test des systèmes embarqués, vient d’introduire la version 1.2 de Model Examiner qui vérifie automatiquement la conformité des modèles générés par son outil TargetLink

…

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.
Connectez-vous Abonnez-vous

Share via
Facebook
X (Twitter)
LinkedIn
Mix
Email
Print
Copy Link
Powered by Social Snap
Copy link
CopyCopied
Powered by Social Snap