Publications : Fares Saad Khorchef

Affichage des résultats 1 à 2 sur 2 au total

  • Automated Robustness Testing for Reactive Systems : Application to Communicating Protocols Communication dans un congrès Antoine Rollet, Fares Saad Khorchef, Ismail Berrada, Richard Castanet

    Publié le:

    VOIR SUR HAL
  • Cadre formel pour le test de robustesse. Application au protocole SSL Communication dans un congrès Antoine Rollet, Fares Saad Khorchef, Ismail Berrada, Richard Castanet

    Publié le:

    Télécharger VOIR SUR HAL