Publications : Antoine Rollet

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

  • Automated Robustness Testing for Reactive Systems : Application to Communicating Protocols COMM 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 COMM Antoine Rollet, Fares Saad Khorchef, Ismail Berrada, Richard Castanet

    Publié le:

    Télécharger VOIR SUR HAL