Back to Results
First PageMeta Content
Propositional calculus / Railway signalling / Model theory / Interlocking / Ladder logic / Propositional variable / First-order logic / Ladder / Railroad switch / Logic / Transport / Land transport


Automated Verification of Signalling Principles in Railway Interlocking Systems
Add to Reading List

Document Date: 2011-03-08 11:42:58

Open Document

File Size: 282,66 KB

Share Result on Facebook
UPDATE