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