On the cloud−enabled refinement checking of railway signalling interlockings

Detaylı Bibliyografya
Asıl Yazarlar: Simpson, A, Jacobs, J
Materyal Türü: Conference item
Baskı/Yayın Bilgisi: 2014