On the cloud−enabled refinement checking of railway signalling interlockings

Бібліографічні деталі
Автори: Simpson, A, Jacobs, J
Формат: Conference item
Опубліковано: 2014