The railway interlocking system is a special kind of control system that apart from control functions can also perform safety-related functions. safety is considered to be a basic property essential to such kind of systems. The paper deals with methods used to analyse interlocking system safety.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.