Login / Signup
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor.
Cécile Braunstein
Anne E. Haxthausen
Wen-ling Huang
Felix Hübner
Jan Peleska
Uwe Schulze
Linh Vu Hong
Published in:
ICFEM (2014)
Keyphrases
</>
equivalence class
equivalence classes
directed acyclic graph
equivalence relation
databases
query evaluation