Treffer 1 - 6 von 6 für Suche 'Mhamdi, Tarek', Suchdauer: 0,78s Treffer weiter einschränken
  1. 1
    On the Formalization of the Lebesgue Integration Theory in HOL

    On the Formalization of the Lebesgue Integration Theory in HOL von Mhamdi, Tarek, Hasan, Osman, Tahar, Sofiène


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL

    Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL von Mhamdi, Tarek, Hasan, Osman, Tahar, Sofiène


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Evaluation of anonymity and confidentiality protocols using theorem proving

    Evaluation of anonymity and confidentiality protocols using theorem proving von Mhamdi, Tarek, Hasan, Osman, Tahar, Sofiène

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Formalization of Entropy Measures in HOL

    Formalization of Entropy Measures in HOL von Mhamdi, Tarek, Hasan, Osman, Tahar, Sofiène


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Quantitative Analysis of Information Flow Using Theorem Proving

    Quantitative Analysis of Information Flow Using Theorem Proving von Mhamdi, Tarek, Hasan, Osman, Tahar, Sofiène


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Providing Automated Verification in HOL Using MDGs

    Providing Automated Verification in HOL Using MDGs von Mhamdi, Tarek, Tahar, Sofiène


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: