Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag. From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. In Marten van Sinderen, Leszek A. Maciaszek, editors, Software Technologies - 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers. Volume 1250 of Communications in Computer and Information Science, pages 156-178, Springer, 2019. [doi]
Abstract is missing.