Communication Dans Un Congrès Année : 2010
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⟩
266 Consultations
0 Téléchargements

Partager

  • More