Events


Formal verification of ETCS specifications: workshop and training courses

9 - 10 October 2008 at FBK IRST.

Workshop website