![](/img/cover-not-exists.png)
[IEEE IEEE EUROCON 2015 - International Conference on Computer as a Tool (EUROCON) - Salamanca, Spain (2015.9.8-2015.9.11)] IEEE EUROCON 2015 - International Conference on Computer as a Tool (EUROCON) - A tool for automatic formal modeling of railway interlocking systems
Ali Nur Oz, Muhammed, Sener, Ibrahim, Turay Kaymakci, Ozgur, Ustoglu, Ilker, Cansever, GalipYear:
2015
Language:
english
DOI:
10.1109/eurocon.2015.7313752
File:
PDF, 356 KB
english, 2015