Copy For Citation
Ü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