Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts

Le contenu de cet ouvrage est destiné à des étudiants avancés, il nécessite la maîtrise préalable de la programmation. Il peut être utilisé comme support de cours de programmation de systèmes réactifs ou comme ouvrage de référence pour des professionnels souhaitant élargir leurs connaissances, qu’ils évoluent dans les domaines du logiciel ou des systèmes numériques.