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