Magazine d'Actualité
Découvrez gratuitement toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie.
{{block-infos-connection}}
Magazine d'Actualité
Découvrez gratuitement toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie.
{{block-infos-connection}}
Ingénieur de l'École polytechnique féminine - Maître de conférences à l'Université Pierre et Marie Curie, Paris
Un système embarqué doit apporter la garantie de son bon fonctionnement. La mise en œuvre de méthodes de vérification formelles permet d’augmenter le degré de confiance de ces composants. Découvrez les trois classes de méthodes, leurs principes de base et les différents types de tests existants.