ALSTOM

Type
Large Industry
Country
France
Website
http://www.transport.alstom.com

Projects

openETCS

ITEA 2 Call 6

Open Proofs Methodology for the European Train Control Onboard System

VERDE

VERDE

ITEA 2 Call 3

VERification-oriented & component-based model Driven Engineering for real-time embedded systems