Back to Results
First PageMeta Content
Applied mathematics / Differential equations / European Rail Traffic Management System / European Train Control System / Mathematics / Structure / Formal verification / Hybrid system / Verification / Systems theory / Train protection systems / Formal methods


European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University
Add to Reading List

Document Date: 2014-08-04 10:07:21

Open Document

File Size: 2,65 MB

Share Result on Facebook
UPDATE