Specification and formal verification of safety properties in point automation system by using timed-arc Petri nets


Kaymakçı Ö. T. , ÜSTOĞLU İ. , Cansever G.

19th IFAC World Congress, 01 Ağustos 2014