Re: [Systeme] instalation:

Naim.Aber@lipn.univ-paris13.fr a écrit :

Salut, Voici les outils que je voudrai installer:

1)TINA: http://homepages.laas.fr/bernard/tina/

2)ROMEO: http://romeo.rts-software.org/

3)UPPAAL: http://www.uppaal.com/

Ce genre de logiciel est à installer par l'utilisateur dans son propre répertoire. Ce ne sont pas des logiciels déjà empaquetés dans les distributions et relèvent du travail normal d'un chercheur. Cordialement, -- Jean-Christophe Dubacq