| |
| 2007 | ||
|---|---|---|
| 4 | EE | Osman Hasan, Sofiène Tahar: Formalization of Continuous Probability Distributions. CADE 2007: 3-18 |
| 3 | EE | Osman Hasan, Sofiène Tahar: Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. IFM 2007: 333-352 |
| 2 | EE | Osman Hasan, Sofiène Tahar: Verification of Expectation Properties for Discrete Random Variables in HOL. TPHOLs 2007: 119-134 |
| 1 | EE | Osman Hasan, Sofiène Tahar: Formalization of the Standard Uniform random variable. Theor. Comput. Sci. 382(1): 71-83 (2007) |
| 1 | Sofiène Tahar | [1] [2] [3] [4] |