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, Bulgaristan, 12 - 14 Eylül 2012, ss.319-324 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Basıldığı Şehir: Sofya
  • Basıldığı Ülke: Bulgaristan
  • Sayfa Sayıları: ss.319-324
  • İstanbul Teknik Üniversitesi Adresli: Evet