Hello,
Perso j'utilise JavaBDD pour les diagrammes de décision binaires, je n'aime pas trop mais je n'ai pas trouvé mieux.
Sinon pour tout ce qui est automates/réseaux de Petri (model checking,...
Hello,
Perso j'utilise JavaBDD pour les diagrammes de décision binaires, je n'aime pas trop mais je n'ai pas trouvé mieux.
Sinon pour tout ce qui est automates/réseaux de Petri (model checking,...
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.