External Links

    Journal: Annales des Télécommunications

    Volume 55, Issue 1-2

    3 -- 0Stanislaw Budkowski, Elie Najm. Protocol engineering
    4 -- 19Octavian Catrina, Eugen Borcoci. Development of complex communications protocols using Estelle
    20 -- 30Guy Leduc. Verification of two versions of the challenge handshake authentication protocol (chap)
    31 -- 44Leo Cacciari, Omar Rafiq. Temporal validation of multimedia protocols
    45 -- 57Xiao Jun Chen, Luigi Logrippo. Deriving use cases for distributed systems from knowledge requirements
    58 -- 69Ana R. Cavalli, Melania Ionescu. Validation of the GSM-map protocol
    70 -- 83Mariusz A. Fecko, M. Ümit Uyar, Paul D. Amer, Adarshpal S. Sethi. Conformance testing in systems with semicontrollable interfaces
    runs on