Un cadre pour la formalisation semi-automatique des exigences automobiles
Ariel Syrko
Broschiertes Buch

Un cadre pour la formalisation semi-automatique des exigences automobiles

Développement et évaluation

Versandkostenfrei!
Versandfertig in 6-10 Tagen
26,99 €
inkl. MwSt.
PAYBACK Punkte
13 °P sammeln!
La quantité et la complexité des fonctionnalités mises en oeuvre dans les véhicules se sont rapidement développées au cours des dernières années. Aujourd'hui, la vision d'un véhicule autonome n'est plus un rêve ou un film fantastique, mais une réalité à venir. Afin d'obtenir la meilleure qualité et une sécurité élevée, des techniques de vérification avancées sont nécessaires. Simulink Design Verifier est un outil de vérification de modèle basé sur la vérification formelle, qui peut être utilisé efficacement pour résoudre les problèmes concernant la détection des e...