Systerel a participé à la journée Event-B organisée par le NII (National Institute of Informatics) le 21 novembre à Tokyo.
Systerel assure la maintenance et les évolutions de la plate-forme RODIN depuis 10 ans.
Les activités autour de cette plate-forme permettent à Systerel de consolider et développer son expertise en modélisation en B événementiel ainsi que sa maîtrise de l’écosystème Eclipse.