Publié le 30/09/2013 |
CLEARSY a participé à la conférence CAI 2013 (International Conference on Algebraic Informatics) organisée à Porquerolles (France) du 03 au 06 Septembre 2013, au travers d’une présentation intitulée « Railways formal data validation« , donnée lors de la session industrielle.