Rodin

Narragan Messages postés 3 Date d'inscription   Statut Membre Dernière intervention   -  
Narragan Messages postés 3 Date d'inscription   Statut Membre Dernière intervention   -
Bonjour!

J'ai mon enseignant qui m'a demandé de télécharger Rodin avec simulateur B et générateur de code. Cela fait déjà un bon moment que je le cherche mais en vain. Quelqu'un pourrait-il m'aider en m'indiquant où je pourrai l'avoir?

Merci d'avance!!!

3 réponses

Réponse 1 / 3
bendrop Messages postés 12732 Date d'inscription   Statut Contributeur Dernière intervention   8 381
 
Bonjour,

ici peut être http://www.event-b.org/platform.html
depuis ce site https://www.methode-b.com/outils/rodin/

bav
1
Narragan Messages postés 3 Date d'inscription   Statut Membre Dernière intervention  
 
J'y étais déjà merci
0
Réponse 2 / 3
^Abel^ Messages postés 15399 Date d'inscription   Statut Contributeur Dernière intervention   6 872
 
Bonjour,
https://www.commentcamarche.net/infos/25899-demander-de-l-aide-pour-vos-exercices-sur-ccm/
...
0
Réponse 3 / 3
Narragan Messages postés 3 Date d'inscription   Statut Membre Dernière intervention  
 
Voici le topo! Ma prof a une vieille version de Rodin juste avec le simulateur B et elle n'a pas pu trouver Rodin avec simulateur B et générateur de code. Elle nous l'a demandé de le télécharger en espérant qu'un des étudiants au moins le trouve(Rodin avec simulateur B et générateur de code). Je ne connais pas Rodin, je ne sais pas si le simulateur B et le générateur de code sont des plugin. Ou alors il existe plusieurs types de Rodin je ne sais pas
0