Event B 2012: Workshop on the experience of and advances in developing dependable systems in Event B

CLEARSY a participé à un workshop sur le B évènementiel (event B) à Kyoto au Japon le 13 novembre 2012, dans le cadre de la conférence ICFEM 2012. CLEARSY y a présenté ses travaux sur la validation de constantes ferroviaires dans le cadre de ses projets industriels.

Transparents : Formally checking large data sets

Support technique de la présentation : Formally checking large data sets