Précédent : Soft Mountain/ France Telecom Remonter : Actions industrielles Suivant : Ventes du compilateur Esterel v5

Alcatel-AAR Reutel

Participant : Frédéric Boussinot Nous participons à cette collaboration, initiée par le projet Ep-Atr de l'Irisa, sur le thème de la définition de comportements réactifs pour des objets distribués avec interface de type CORBA. Nous pourrions prolonger cette activité sur des thèmes de vérification.