Ning B. Advanced Train Control Systems
WIT Press, 2010.
This special volume on Advanced Train Control Systems (ATCS) consists of selected papers from the highly successful COMPRAIL conference series on railways and other transit systems.
Download:
art29 добавил 14.11.2011 в 12:17
Schnieder E., Tarnai G. (Eds.) FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
Springer-Verlag, 2011.
Download:
