Formal Mind GmbH

Type
Small and Medium sized Enterprise
Country
Germany
Website
http://www.formalmind.com

Projects

openETCS

ITEA 2 Call 6

Open Proofs Methodology for the European Train Control Onboard System