La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Vérification automatique des modèles TargetLink de dSpace selon MISRA
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…
