ClearSy, French company specialized in railway safety cr...
Table of contents
Since 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