Development of complex communications protocols using Estelle Octavian CatrinaEugen BORCOCI OriginalPaper Pages: 4 - 19
Verification of two versions of the challenge handshake authentication protocol (chap) Guy Leduc OriginalPaper Pages: 20 - 30
Deriving use cases for distributed systems from knowledge requirements Xiao Jun ChenLuigi Logrippo OriginalPaper Pages: 45 - 57
Conformance testing in systems with semicontrollable interfaces Mariusz A. FeckoM.Ümit UyarAdarshpal S. Sethi OriginalPaper Pages: 70 - 83