Atıf İçin Kopyala
Ü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 Aralık 2012