Collaboration
durable entre
Bip et
Sosso sur la
tolérance aux pannes
Lien avec Electronique Embarquée pour l'Automobile
Synthèse de contrôleurs à événements discrets pour
l'enchaînement de modes
Lien entre synthèse de contrôleurs à événements discrets et tolérance
aux pannes
Langage de propriétés en termes d'entités du contrôle / commande
(tâches, missions et événements) et compilation vers le
µ-calcul
