Back to Results
First PageMeta Content
Metalogic / Railway signalling / Model theory / Interlocking / Ladder logic / Propositional variable / First-order logic / Ladder / Model checking / Logic / Propositional calculus / Logical syntax


AVoCS[removed]Automated Verification of Signalling Principles in Railway Interlockings 1
Add to Reading List

Document Date: 2009-11-12 17:52:00


Open Document

File Size: 203,99 KB

Share Result on Facebook
UPDATE