Quantifying Robustness by Symbolic Model checking - Archive ouverte HAL Access content directly
Conference Papers Year :
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01292563 , version 1

Cite

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⟩
85 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More