openETCS / validation

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

remarks from ALL4TEC #244

Closed vgontier closed 9 years ago

vgontier commented 9 years ago

It's our first use of the tool, I hope it's the right way. There are some notations inside the tex, behind %

Signed-off-by: vgontier veronique.gontier@all4tec.net