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 August 2014

  • Publication Type: Conference Paper / Full Text
  • Istanbul Technical University Affiliated: Yes