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

Quantifying Robustness by Symbolic Model checking

Souheib Baarir
Jean-Michel Ilié
  • Fonction : Auteur
  • PersonId : 962210
Tun Li
  • Fonction : Auteur
Isabelle Mounier
  • Fonction : Auteur
  • PersonId : 968305
Denis Poitrenaud
  • Fonction : Auteur
  • PersonId : 968343
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⟩
90 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More