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
Communication Dans Un Congrès Année : 2018

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

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
CameraVersion.pdf (311.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Philippe Dague  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01818314

Soumis le : lundi 7 juin 2021-16:45:00

Dernière modification le : vendredi 22 mars 2024-03:22:46

Archivage à long terme le : mercredi 8 septembre 2021-19:33:34

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-01818314 , version 1

Citer

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⟩

Exporter

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
383 Consultations
85 Téléchargements

Partager

More