search

openETCS / validation

WP4: Validation and verification strategy
8 stars 22 forks source link

improve section on formal verification #208

Closed jensgerlach closed 10 years ago