1 |
ITU, Specification and Description Language, ITU-T Recommendation Z.100, 2000.
|
2 |
T. Kuhn, A. Geraldy, R. Gotzhein, F. Rothländer, "ns+SDL - The Network Simulator for SDL Systems", SDL 2005 - Model Driven, Lecture Notes in Computer Science 3530, pp. 103-116, Springer, 2005.
|
3 |
OPNET Technology Inc., OPNET Modeler. See http://www.opnet.com.
|
4 |
Hogrefe, "OSI formal specification case study: the InRes protocol and service", revised, report No. IAM-91-012, update May 1992, University of Berne, May 1992.
|
5 |
3GPP, Universal Mobile Telecommunications System (UMTS). See http://www.3gpp.org/article/umts.
|
6 |
ITU, B-ISDN ATM Adaptation Layer - Service Specific Connection Oriented Protocol (SSCOP), ITU-T Recommendation Q.2110, 1994.
|
7 |
3GPP, UTRA-UTRAN Long Term Evolution (LTE) and 3GPP System Architecture Evolution (SAE). See http://www.3gpp.org/Highlights/LTE/LTE.htm.
|
8 |
IBM Co. Ltd., Rational TAU SDL Suite, Ver. 6.3, 2009. See http://www-01.ibm.com/software/awdtools/tau/.
|
9 |
M. Butow, M. Mestern, C. Schapiro, and P.S. Kritzinger. "Performance modelling with the formal specification language sdl". In IFIP TC6/6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, volume 69, pages 213-228. Kluwer, 1996.
|
10 |
Jorg Hintelmann, Richard Hofmann, Frank Lemmen, Andreas Mitschele-Thiel, Bruno Müller-Clostermann, "Applying techniques and tools for the performance engineering of SDL systems", Computer Networks, Elsevier, 2001.
|
11 |
Wei Monin, Fabrice Dubois, Daniel Vincent, and Pierre Combes, "Looking for Better Integration of Design and Performance Engineering", SDL 2003, Lecture Notes in Computer Science 2708, pp. 1-17, Springer-Verlag Berlin, 2003.
|
12 |
J. Martins, et al., "Integrating Performance Evaluation and Formal Specification", In Proceedings of IEEE ICC '96, pp. 1803-1807, 1996.
|