Search alternatives:
"Railway signalling" » "Railway signaling"
Cover Image
Read Now

1
Published 2010
Institution of Engineering and Technology
Cover Image
Read Now

2
Published 2012
Institution of Engineering and Technology
Cover Image
Read Now

3
Published 2006
Institution of Engineering and Technology
Cover Image
Read Now

4
by Willcock, Colin
Published 2011
John Wiley & Sons
“... such as the automotive industry, internet protocols, railway signalling, medical systems, and avionics. An Introduction...”
Cover Image
Read Now

5
Published 2016
Springer International Publishing
Table of Contents: “... of railway signalling systems -- Applying multi-factorial pareto analyses in prioritizing maintenance...”
Cover Image
Read Now

6
Published 1995
Springer London
Table of Contents: “... -- The Application of Formal Methods to Railway Signalling Systems Specification and the ESPRIT III Project CASCADE...”
Cover Image
Read Now

7
Published 2019
Springer International Publishing
Table of Contents: “...Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC...”
Cover Image
Read Now

8
by Nakamura, Shuji, Fasol, Gerhard
Published 1997
Springer Berlin Heidelberg
“..., road and railway signalling, lighting, scanners, optical data storage, and much more. This book also...”
Cover Image
Read Now

9
by Nakamura, Shuji, Pearton, Stephen, Fasol, Gerhard
Published 2000
Springer Berlin Heidelberg
“..., road and railway signalling, lighting, scanners, optical data storage, and much more. The new...”
Cover Image
Read Now

10
Published 2010
Springer Berlin Heidelberg
“... formal methods; the IST-FP7 project INESS on integrated European railway signalling system; the IST-FP7...”
Cover Image
Read Now

11
Published 1996
Springer London
Table of Contents: “... — Modelling Their Influence on Productivity and Integrity -- The Institution of Railway Signalling Engineers...”
Cover Image
Read Now

12
Published 2023
Springer Nature Switzerland
Table of Contents: “... for the Italian Railway Signaling System -- Formal methods for safety assessment: The SafeCap Trajectory: Industry...”
Cover Image
Read Now

13
Published 2012
Springer London
Table of Contents: “... -- Risk Analysis and Development of an IP-Network-based Railway Signal Control System -- Taking Safe...”
Cover Image
Read Now

14
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... in the Field of Railway Signalling and their Influence on Software Testing Methods -- Requirements...”
Cover Image
Read Now

15
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Suitable for Robust Telecoms Software? -- Functional Apportioning of Safety Requirements on Railway...”
Cover Image
Read Now

16
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Development for Railway Signaling Using Commercial Tools -- Integrated Formal Approach for Qualified Critical...”
Cover Image
Read Now

17
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...From action systems to modular systems -- Formal methods in the railways signalling industry...”
Cover Image
Read Now

18
Published 1991
Springer Vienna
Table of Contents: “... -- Application-Oriented Systems -- Safety and Fault-Tolerance in Computer-Controlled Railway Signalling System...”
Cover Image
Read Now

19
Published 2012
Springer Berlin Heidelberg
“... European railway signalling system; the FP7-IST project MADES on a model-driven approach to improve...”
Cover Image
Read Now

20
Published 2021
Springer International Publishing
Table of Contents: “... -- Formal Methods in Railway Signalling Infrastructure Standardisation Processes -- sVerify: Verifying Smart...”