An Iterative Formal Model-Driven Approach to Railway Systems Validation.

Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germn Vega

Browse the full ICECCS paper archive.