Back to Results
First PageMeta Content
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
Add to Reading List

Document Date: 2013-12-12 10:55:19

Open Document

File Size: 344,36 KB

Share Result on Facebook
UPDATE