![]() | ![]() |
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] |