İ.Şener, Ö.T.Kaymakçı, İ.Üstoğlu, G.Cansever "Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets"19th IFAC World Congress. Cape Town, South Africa.

Kaymakçı Ö. t., Üstoğlu İ., CANSEVER G.

19th IFAC World Congress. Cape Town, South Africa., 01 Ağustos 2014

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Yıldız Teknik Üniversitesi Adresli: Evet