共 50 条
- [2] Authentication protocols for the broadband ISDN billing system Computer Standards and Interfaces, 1999, 21 (05): : 417 - 428
- [3] Modelling soft-state protocols with SDL IEE PROCEEDINGS-COMMUNICATIONS, 2006, 153 (03): : 365 - 375
- [4] Modelling and analysing the SDL description of the ISDN-DSS1 protocol APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 244 - 260
- [5] Integrated modelling and simulation of signalling protocols at B-ISDN UNI on an SDL'92-based platform for performance evaluation SECOND IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 1997, : 86 - 90
- [6] Experiences with ISDN validation models in SDL and proposal for new SDL features SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 135 - 150
- [7] Design of resource control protocols for Release 2/3 Broadband ISDN services COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 28 (03): : 269 - 282
- [10] Modelling SDL, modelling languages 3RD INT CONF ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS, AND APPLICAT/4TH INT CONF ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 1, 2006, : 298 - +