Muhammed Ali Nur Oz, Ibrahim Sener, Ozgur Turay Kaymakci, Ilker Üstoglu, Galip Cansever. A tool for automatic formal modeling of railway interlocking systems. In IEEE EUROCON 2015 - International Conference on Computer as a Tool, Salamanca, Spain, September 8-11, 2015. pages 1-4, IEEE, 2015. [doi]
No reviews for this publication, yet.