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

Copy For Citation

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

19th IFAC World Congress, 01 August 2014

• Publication Type: Conference Paper / Full Text
• Yıldız Technical University Affiliated: Yes