ITEA is the Eureka Cluster on software innovation
ITEA is the Eureka Cluster on software innovation
ITEA 4 page header grey golden ratio

Formal Mind GmbH

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

Project participation

ITEA 2 Call 6
Alt Alt Alt Alt Alt Alt Alt
project header

openETCS

Open Proofs Methodology for the European Train Control Onboard System