Specification and formal verification of safety properties in point automation system by using timed-arc Petri nets
19th IFAC World Congress, 01 August 2014, (Full Text)
- Publication Type: Conference Paper / Full Text
- Yıldız Technical University Affiliated: Yes