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

ŞENER İ., KAYMAKÇI Ö. T., ÜSTOĞLU İ., CANSEVER G.

IFAC 2014, 19th World Congress of the International Federation of Automatic Control, 24 - 29 Ağustos 2014

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • İstanbul Teknik Üniversitesi Adresli: Evet