ClearSy, French company specialized in railway safety cr...
Published on 09/22/2016, 3:12 PMSince 2001, ClearSy has promoted and has been developing the B method, a formal method for industrial application. B method is a mathematically based technique for specification, development a...
Read press release