Özgür Turay KAYMAKÇI, Muhammet Ali OZ

AN AUTOMATIC FORMAL MODEL GENERATION AND VERIFICATION METHOD FOR RAILWAY INTERLOCKING SYSTEMS

Gazi University Journal of Science

2017-Cilt: 30 - Sayı: 2

133-147

Formal verification, interlocking, timed arc petri nets, railway signalization systems

114 122