Interlocking - PDFSEARCH.IO - Document Search Engine

Interlocking
Results: 340

#	Item
291	Electronic Communications of the EASST No \volume defined! No \volumetitle defined! Verification of Railway Interlockings in Scade Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-10-25 14:18:24 Science Formal methods Technology Formal sciences Esterel Technologies Railway signalling Lustre Interlocking Model checking Hardware description languages Synchronous programming languages Electronic engineering
292	Int J Softw Tools Technol Transfer DOI[removed]s10009[removed]FMRCS of Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2014-05-19 07:51:12 Railway signalling Communicating sequential processes Interlocking Railroad switch Signalman Transport Land transport Rail transport
293	JID:SCICO AID:1752 /FLA [m3G; v 1.132; Prn:[removed]; 15:03] P[removed]Science of Computer Programming ••• (••••) •••–••• Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2014-05-19 08:04:36 Railway signalling Communicating sequential processes Concurrent computing Process calculi Interlocking Railroad switch Transport Land transport Rail transport
294	Safety and Line Capacity in Railways – An Approach in Timed CSP Yoshinao Isobe1 , Faron Moller2 , Hoang Nga Nguyen2 , and Markus Roggenbach2, 1 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-07-03 05:34:43 Rhythm Interlocking Process calculus Communicating sequential processes Railway signalling Isochrony Phonetics
295	oneStationTrackPlan_a_and_b.png Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-07-13 05:55:18 Communicating sequential processes Concurrent computing Process calculi Interlocking Railroad switch Model theory Structure Union Pacific Railroad Rail transportation in the United States Transportation in the United States Railway signalling
296	Automated Verification of Signalling Principles in Railway Interlocking Systems Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2011-03-08 11:42:58 Propositional calculus Railway signalling Model theory Interlocking Ladder logic Propositional variable First-order logic Ladder Railroad switch Logic Transport Land transport
297	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
298	Verification of Scheme Plans using CSP\|\|B Philip James1 , Faron Moller1 , Hoang Nga Nguyen3 , Markus Roggenbach1 , Steve Schneider2 , Helen Treharne2 , Matthew Trumble2 , and David Williams4 1 Swansea University, UK Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-11-29 11:10:29 Communicating sequential processes Workflow technology Mind Railway signalling Logic in computer science Ethology Model checking Workflow Interlocking Concurrent computing Computing Process calculi
299	Electronic Communications of the EASST Volume X[removed]Proceedings of the 12th International Workshop on Automated Verification of Critical Systems Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-10-30 14:30:51 Railway signalling Interlocking Communicating sequential processes Railroad switch Junction Transport Land transport Rail transport
300	DIY How to Lay Pavers Before you Start Checklist 1. Check with your council Pavers can usually be laid around your house without council approval. However, if you’re doing a driveway or working in an area where water Add to Reading List Source URL: images.thewebconsole.com Language: English - Date: 2010-03-22 22:46:12 Building materials Real estate Paver Brickwork Road surface Interlocking concrete pavers Construction Architecture Pavements

UPDATE