Events


Formal verification of ETCS specifications: workshop and training courses


9 - 10 October 2008 at FBK IRST.

Workshop website