1 février 2007
CLEARSY a présenté les travaux de R&D qu’elle mène avec STMicroelectronics à la conférence B2007 ainsi que son outil de modélisation graphique appliqué aux méthodes formelles B : Brama.