Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor.

Ccile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hbner, Jan Peleska, Uwe Schulze, Linh Vu Hong

Browse the full ICFEM paper archive.