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

Yıldız Technical University Research Information System

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

Publication Type: Conference Paper / Full Text