Using Variability Models to Reduce Verification Effort of Train Station Models.

Andreas Svendsen, ystein Haugen, Birger Mller-Pedersen

Browse the full APSEC paper archive.