On the cloud−enabled refinement checking of railway signalling interlockings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Simpson, A, Jacobs, J
Μορφή: Conference item
Έκδοση: 2014