On the cloud−enabled refinement checking of railway signalling interlockings

Opis bibliograficzny
Główni autorzy: Simpson, A, Jacobs, J
Format: Conference item
Wydane: 2014