On the cloud−enabled refinement checking of railway signalling interlockings

Bibliografische gegevens
Hoofdauteurs: Simpson, A, Jacobs, J
Formaat: Conference item
Gepubliceerd in: 2014