Rodin

Question

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!!!

^Abel^ · Answer

Bonjour,
https://www.commentcamarche.net/infos/25899-demander-de-l-aide-pour-vos-exercices-sur-ccm/ 
...

Narragan · Answer

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

bendrop · Answer

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

Rodin

3 réponses

Votre réponse

Newsletters