How to be Sure a Faulty System Does not Always Appear Healthy? - Laboratoire de Recherche en Informatique. Équipe: Vérification d'Algorithmes, Langages et Systèmes Access content directly
Conference Papers Year : 2018

How to be Sure a Faulty System Does not Always Appear Healthy?

Domains

Artificial Intelligence [cs.AI]
Fichier principal
Vignette du fichier
CameraVersion.pdf (311.41 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Philippe Dague  : Connect in order to contact the contributor

https://hal.science/hal-01818314

Submitted on : Monday, June 7, 2021-4:45:00 PM

Last modification on : Friday, March 22, 2024-3:22:46 AM

Long-term archiving on: Wednesday, September 8, 2021-7:33:34 PM

Download

Dates and versions

hal-01818314 , version 1 (07-06-2021)

Identifiers

  • HAL Id : hal-01818314 , version 1

Cite

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski. How to be Sure a Faulty System Does not Always Appear Healthy?. 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Sep 2018, Grenoble, France. ⟨hal-01818314⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UMR8623 CENTRALESUPELEC LRI-MODHEL LRI-LAHDAK LRI-VALS UNIV-PARIS-SACLAY ENS-PARIS-SACLAY LISN GS-ENGINEERING GS-COMPUTER-SCIENCE LISN-LAHDAK LMF
210 View
39 Download

Share

Gmail Facebook X LinkedIn More