Signaling system design for urban transportation: The case of Istanbul Esenler Depot


ÜSTOĞLU İ., Kaymakçı Ö. T., Durmuş M. S., Yıldırım U., Akçil L.

FORMS/FORMAT 2012: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, 01 December 2012

  • Publication Type: Conference Paper / Full Text
  • Yıldız Technical University Affiliated: Yes