Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag. Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. In Marten van Sinderen, Leszek A. Maciaszek, editors, Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019. pages 397-406, SciTePress, 2019. [doi]
Abstract is missing.