İ.Ş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, (Tam Metin Bildiri)

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