Langage réactif synchrone Esterel (informatique)

Martin Richard