ITEA is the Eureka Cluster on software innovation
ITEA is the Eureka Cluster on software innovation
Please note that the ITEA Office will be closed from 25 December 2024 to 1 January 2025 inclusive.
ITEA 4 page header grey golden ratio

Formal Mind GmbH

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

Documents

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