Universität Bremen

Type
University
Country
Germany
Website
http://www.uni-bremen.de

Projects

openETCS

ITEA 2 Call 6

Open Proofs Methodology for the European Train Control Onboard System