
CLEARSY participated to CAI 2013 conference (International Conference on Algebraic Informatics) held in Porquerolles (France) 3-6 September 2013.
A talk, entitled “Railways formal data validation“, was given during the industrial session.
CLEARSY participated to CAI 2013 conference (International Conference on Algebraic Informatics) held in Porquerolles (France) 3-6 September 2013.
A talk, entitled “Railways formal data validation“, was given during the industrial session.