Ü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, (Tam Metin Bildiri)
-
Yayın Türü:
Bildiri / Tam Metin Bildiri
-
Yıldız Teknik Üniversitesi Adresli:
Evet