On the cloud−enabled refinement checking of railway signalling interlockings

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