| |
| 2006 | ||
|---|---|---|
| 2 | EE | Jounaïdi Ben Hassen, Sofiène Tahar: On the numerical verification of probabilistic rewriting systems. DATE 2006: 1223-1224 |
| 2004 | ||
| 1 | Jounaïdi Ben Hassen, Sofiène Tahar: Formal verification of an SoC platform protocol converter. ISCAS (5) 2004: 313-316 | |
| 1 | Sofiène Tahar | [1] [2] |