#1 Le 11/10/2010, à 00:29
- eba
Promela/ Spin/ Xspin
Bonjour,
En cours nous allons commencer l'utilisation du langage promela. Je viens d'installer Spin et Xspin. Est ce que j'ai besoin d'autre chose pour pouvoir utiliser promela ou pas??
Merci beaucoup pour votre aide
Hors ligne