Synchronous programming of reactive systems
No description available.
Programming languages (Electronic computers)Real-time programmingLUSTRE (langage de programmation)Systèmes homme-machineLUSTRESignalEchtzeitspracheProgrammation parallèle (informatique)Vérification programmeProgrammierungLangages de programmationSystème réactif