“…In a future experiment SHiP [7] at CERN, it is expected to collect thousands of ν τ interactions, providing a negligible statistical uncertainty in the cross section measurement. Thus the overall uncertainty of the cross section will be determined by the systematic uncertainties, especially by the ν τ flux uncertainty, which will be studied by this experiment [8,9]. The dominant source of ν τ in the accelerator-based neutrino beam is leptonic decays of D ± s mesons produced in proton-nucleus interactions.…”