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

---

Atıf İçin Kopyala

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

19th IFAC World Congress, 01 Ağustos 2014

• Yayın Türü: Bildiri / Tam Metin Bildiri
• Yıldız Teknik Üniversitesi Adresli: Evet