Özgür Turay KAYMAKÇI,
Galip CANSEVER,
İlker ÜSTOĞLU,
İbrahim ŞENER
Specification and formal verification of safety properties in a point automation system
Specification and formal verification of safety properties in a point automation system
Turkish Journal of Electrical Engineering and Computer Sciences
2016-Cilt: 24 - Sayı: 3
1384-1396
70
66