En poursuivant votre navigation sur ce site, vous acceptez nos CGU et l'utilisation de cookies afin de réaliser des statistiques d'audiences et vous proposer une navigation optimale, la possibilité de partager des contenus sur des réseaux sociaux ainsi que des services et offres adaptés à vos centres d'intérêts.
Pour en savoir plus et paramétrer les cookies...

Les méthodes formelles au secours des développeurs de logiciels embarqués

Les méthodes formelles au secours des développeurs de logiciels embarqués
 

Les outils mathématiques d'Esterel Studio 3.0 permettent une détection et une correction des bugs plus rapides.

A voir aussi

Votre opinion

Postez un commentaire