Communication dans un congrès, LaHDAK, Informatique, Intelligence artificielle
How to be Sure a Faulty System Does not Always Appear Healthy?
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski. How to be Sure a Faulty System Does not Always Appear Healthy?. VECoS 2018 - 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Sep 2018, Grenoble, France. pp.114-129, ⟨10.1007/978-3-030-00359-3_8⟩. ⟨hal-01818314⟩