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 August 2014

  • Publication Type: Conference Paper / Full Text