20 septembre 2007
CLEARSY était présente à la conférence SBMF 2007 et y a présenté son article :
« Formal Methods in Safety-Critical Railway Systems« . Elle y a exposé l’utilisation de la méthode B dans son processus de réalisation de systèmes, et montré l’utilisation des outils CompoSys et Brama de la plateforme Rodin. L’université Brésilienne UFRN y a également présenté ses travaux de modélisation avec la méthode B. Découvrir le site officiel de la conférence…