We will also be providing you with an insight into the new Brama tool, based on the development of the Rodin Open Source, an Event-B development platform.
Nous donnons également quelques informations sur le nouvel outil Brama, basé sur le développement Open Source Rodin, plateforme de développement B évènementiel.