On the cloud−enabled refinement checking of railway signalling interlockings

Detalhes bibliográficos
Principais autores: Simpson, A, Jacobs, J
Formato: Conference item
Publicado em: 2014