<--- Back to Details
First PageDocument Content
Rail industry / Westlock Interlocking / Solid State Interlocking / Transport / Land transport / Rail transport
Date: 2011-10-12 01:31:10
Rail industry
Westlock Interlocking
Solid State Interlocking
Transport
Land transport
Rail transport

Datasheet 10A-9 WESTLOCK Interlocking

Add to Reading List

Source URL: www.wrsa.com.au

Download Document from Source Website

File Size: 975,25 KB

Share Document on Facebook

Similar Documents

Solid State Interlocking / Kernel / Interlocking / Westlock Interlocking / Triconex / Transport / Land transport / Rail transport

F A I L - S A F E S Y S T E M D

DocID: R4L1 - View Document

Microcontrollers / Programmable logic controller / MIDIbox / Solid State Interlocking / Interlocking / Technology

GE Transportation Its track-proven technology and years of reliability have made the GE Vital Logic Controller a rail industry leader in solid state interlocking control in North America. The multi-purpose VHLC provides

DocID: Lc9z - View Document

Microcontrollers / Programmable logic controller / MIDIbox / Solid State Interlocking / Interlocking / Technology

GE Transportation Its track-proven technology and years of reliability have made the GE Vital Logic Controller a rail industry leader in solid state interlocking control in North America. The multi-purpose VHLC provides

DocID: eFbF - View Document

Propositional calculus / Model theory / Predicate logic / Metalogic / Ladder logic / First-order logic / Logic programming / Formal verification / Function / Logic / Mathematics / Mathematical logic

Verification of solid state interlocking programs Phillip James, Andy Lawrence Faron Moller, Markus Roggenbach,

DocID: 5Wur - View Document

Propositional calculus / Predicate logic / Model theory / Formal languages / Ladder logic / Model checking / Logic programming / First-order logic / Interlocking / Logic / Mathematical logic / Mathematics

Verification of solid state interlocking programs Phillip James1 , Andy Lawrence1 , Faron Moller1 , Markus Roggenbach1 , Monika Seisenberger1 , Anton Setzer1 , Karim Kanso2 , and Simon Chadwick3 1 Swansea Railway Verifi

DocID: 5PFM - View Document