Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Guillaume Vidot. Certification of avionic software based on machine learning: the case for formal monotony analysis. STTT, 26(2):189-205, April 2024. [doi]
@article{DucoffeGOOV24,
title = {Certification of avionic software based on machine learning: the case for formal monotony analysis},
author = {Mélanie Ducoffe and Christophe Gabreau and Ileana Ober and Iulian Ober and Guillaume Vidot},
year = {2024},
month = {April},
doi = {10.1007/s10009-024-00741-6},
url = {https://doi.org/10.1007/s10009-024-00741-6},
researchr = {https://researchr.org/publication/DucoffeGOOV24},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {26},
number = {2},
pages = {189-205},
}