Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol.

Csar Andrs, Mercedes G. Merayo, Manuel Nez

Browse the full SEFM paper archive.