On the cloud−enabled refinement checking of railway signalling interlockings

Détails bibliographiques
Auteurs principaux: Simpson, A, Jacobs, J
Format: Conference item
Publié: 2014