Logic Verification of Collision Avoidance System in Train Control Systems
4th, IEEE intelligent vehicles symposium ; 2009 ; Xi'an, China
2009-01-01
6 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.