Rodin
Fermé
Narragan
Messages postés
3
Date d'inscription
vendredi 7 novembre 2014
Statut
Membre
Dernière intervention
13 novembre 2016
-
13 nov. 2016 à 16:08
Narragan Messages postés 3 Date d'inscription vendredi 7 novembre 2014 Statut Membre Dernière intervention 13 novembre 2016 - 13 nov. 2016 à 18:32
Narragan Messages postés 3 Date d'inscription vendredi 7 novembre 2014 Statut Membre Dernière intervention 13 novembre 2016 - 13 nov. 2016 à 18:32
3 réponses
bendrop
Messages postés
12603
Date d'inscription
jeudi 30 juin 2005
Statut
Contributeur
Dernière intervention
20 décembre 2024
8 304
13 nov. 2016 à 17:10
13 nov. 2016 à 17:10
Bonjour,
ici peut être http://www.event-b.org/platform.html
depuis ce site https://www.methode-b.com/outils/rodin/
bav
ici peut être http://www.event-b.org/platform.html
depuis ce site https://www.methode-b.com/outils/rodin/
bav
^Abel^
Messages postés
15399
Date d'inscription
jeudi 14 juillet 2011
Statut
Contributeur
Dernière intervention
14 février 2023
6 863
13 nov. 2016 à 16:10
13 nov. 2016 à 16:10
Narragan
Messages postés
3
Date d'inscription
vendredi 7 novembre 2014
Statut
Membre
Dernière intervention
13 novembre 2016
13 nov. 2016 à 16:31
13 nov. 2016 à 16:31
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
13 nov. 2016 à 18:32