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

Yıldız Teknik Üniversitesi Akademik Veri Yönetim Sistemi

English

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, (Tam Metin Bildiri)

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