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.