On the cloud−enabled refinement checking of railway signalling interlockings

Podrobná bibliografie
Hlavní autoři: Simpson, A, Jacobs, J
Médium: Conference item
Vydáno: 2014