From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems.

Raba Ameur-Boulifa, Ana R. Cavalli, Stephane Maag

Browse the full ICSoft paper archive.