Langage pour le Temps Réel

Établissement
INP - ENSEEIHT

Description

Cible : systèmes de contrôle commande
Synchrone versus asynchrone
Le langage Lustre de base
Le langage Lustre avec les horloges
La vérification de programmes
TP : robot Légo