Les langages synchrones permettent de programmer des systèmes réactifs embarqués à la fois très complexes et très sûrs, et on en trouve des exemples d'utilisation très significatifs dans l'avionique, le transport terrestre ou l'énergie. Il

February 3, 2012 01 h 07 min