Train collision detection system is used to detect and prevent collision of two trains. Generally both trains determine their position […]
CLEARSY’s activities in this sector are focused on the safety of embedded software and the diagnosis of automotive systems.
The B METHOD is a method of formal specification capable of rigorously re-transcribing the requirements of a set of specifications, […]
The electronic field is a major activity for CLEARSY. The Electronic field is a major activity for CLEARSY. This specific […]