On the cloud−enabled refinement checking of railway signalling interlockings

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Simpson, A, Jacobs, J
التنسيق: Conference item
منشور في: 2014