Safety-Critical Interlocking Software Development Process for Fixed-Block Signalization Systems


DURMUŞ M. S. , YILDIRIM U., ERİŞ O., SÖYLEMEZ M. T.

13th IFAC Symposium on Control in Transportation Systems (CTS 2012), Sofya, Bulgaria, 12 - 14 September 2012, pp.319-324 identifier

  • Publication Type: Conference Paper / Full Text
  • City: Sofya
  • Country: Bulgaria
  • Page Numbers: pp.319-324