Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System.

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

Browse the full ICSoft paper archive.