Solid State Interlocking - PDFSEARCH.IO - Document Search Engine

Solid State Interlocking
Results: 7

#	Item
1	F A I L - S A F E S Y S T E M D Add to Reading List Source URL: eprint.iitd.ac.in Language: English - Date: 2006-06-27 16:30:37 Solid State Interlocking Kernel Interlocking Westlock Interlocking Triconex Transport Land transport Rail transport
2	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 Add to Reading List Source URL: www.getransportation.com Language: English - Date: 2014-01-06 13:02:44 Microcontrollers Programmable logic controller MIDIbox Solid State Interlocking Interlocking Technology
3	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 Add to Reading List Source URL: media.getransportation.com Language: English - Date: 2014-01-06 13:02:44 Microcontrollers Programmable logic controller MIDIbox Solid State Interlocking Interlocking Technology
4	Verification of solid state interlocking programs Phillip James, Andy Lawrence Faron Moller, Markus Roggenbach, Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-09-27 06:58:46 Propositional calculus Model theory Predicate logic Metalogic Ladder logic First-order logic Logic programming Formal verification Function Logic Mathematics Mathematical logic
5	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 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-12-12 10:55:19 Propositional calculus Predicate logic Model theory Formal languages Ladder logic Model checking Logic programming First-order logic Interlocking Logic Mathematical logic Mathematics
6	Uncontrolled When Printed Document to be superseded as of[removed]To be superseded by GKGN0554 Iss 2 published on[removed] Add to Reading List Source URL: www.rgsonline.co.uk Language: English - Date: 2013-11-06 20:15:31 Land transport Radio Electronic Token Block Upper Tyndrum railway station Fort William Junction Solid State Interlocking Cambrian Line Token Dovey Junction railway station Railway signal Railway signalling Rail transport Transport
7	Datasheet 10A-9 WESTLOCK Interlocking Add to Reading List Source URL: www.wrsa.com.au Language: English - Date: 2011-10-12 01:31:10 Rail industry Westlock Interlocking Solid State Interlocking Transport Land transport Rail transport