search

openETCS / validation

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

work on open issues in Frama-C section #211

Closed jensgerlach closed 10 years ago