Quantifying Robustness by Symbolic Model checking - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Quantifying Robustness by Symbolic Model checking

Souheib Baarir
Modélisation et Vérification
Cécile Braunstein
  • Fonction : Auteur
  • PersonId : 968375
Architecture et Logiciels pour Systèmes Embarqués sur Puce
Emmanuelle Encrenaz
Architecture et Logiciels pour Systèmes Embarqués sur Puce
Jean-Michel Ilié
  • Fonction : Auteur
  • PersonId : 962210
Modélisation et Vérification
Tun Li
  • Fonction : Auteur
Isabelle Mounier
  • Fonction : Auteur
  • PersonId : 968305
Modélisation et Vérification
Denis Poitrenaud
  • Fonction : Auteur
  • PersonId : 968343
Modélisation et Vérification
Sana Younes
  • Fonction : Auteur
  • PersonId : 980146
Architecture et Logiciels pour Systèmes Embarqués sur Puce

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01292563

Soumis le : mercredi 23 mars 2016-13:53:01

Dernière modification le : mardi 11 avril 2023-15:16:28

Fichier non déposé

Dates et versions

hal-01292563 , version 1 (23-03-2016)

Identifiants

  • HAL Id : hal-01292563 , version 1

Citer

Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Tun Li, et al.. Quantifying Robustness by Symbolic Model checking. 1st Hardware Verification Workshop (CAV workshop), Jul 2010, Edinburgh, United Kingdom. pp.1-12. ⟨hal-01292563⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
119 Consultations
0 Téléchargements

Partager

More