Publisher
Springer Nature Switzerland
Reference18 articles.
1. CENELEC - EN 50126–1. Railway Applications - The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 1: Generic RAMS Process
2. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004). https://doi.org/10.1109/TDSC.2004.2
3. Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, Boston (1996)
4. Koren, I., Mani Krishna, C.: Fault tolerant Systems, 2nd ed. Elsevier, Amsterdam (2007)
5. de Bortoli, A., Bouhaya, L., Feraille, A.: A life cycle model for high-speed rail infra-structure: environmental inventories and assessment of the Tours-Bordeaux railway in France. Int. J. Life Cycle Assess. 25, 814–830 (2020)