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]
@inproceedings{Ameur-BoulifaCM19,
title = {Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System},
author = {Rabéa Ameur-Boulifa and Ana R. Cavalli and Stephane Maag},
year = {2019},
doi = {10.5220/0007918203970406},
url = {https://doi.org/10.5220/0007918203970406},
researchr = {https://researchr.org/publication/Ameur-BoulifaCM19},
cites = {0},
citedby = {0},
pages = {397-406},
booktitle = {Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019},
editor = {Marten van Sinderen and Leszek A. Maciaszek},
publisher = {SciTePress},
isbn = {978-989-758-379-7},
}