İ.Ş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