References
- Holzmann, G.J.,'Design and Validation of Computer Protocols,' Prentice-Hall, 1991
- A. Olsen, O. faerergemend, B. Moller Pedersen, R. Reed, and J. Smith,'Systems Engineering Using SDL-92,' ELSEVIER SCIENCE B. V., 1995
- Jan Ellsbctger, Dieter Hogrefe and Amardeo Sarma, 'SDL Formal Object-oriented Language for Communicating Systems,' Prentice Hall, 1997
- Roberto Saracco, 'Telecommunications Systems Engineering using SDL,' North_Holland, 1989
- Edel Sherratt, Chris Loftus, 'Designing Distributed Services with SDL,' IEEE, 2000
- Telelogic Tau 3.4 SDT Methodology Guidelines, 1999
- The SDT Simulator, 'Telelogic Tau 3.4 ORCA and SDT Started,' 1998
- Belina, Y, Hogrefe, D. and Sanna, A. 'SDT with Applications from Protocol Specification,' Prentice Hall, 1991
- Harri Holma and Antti Toskala, 'WCDMA Fan U1VITS,' JOHN WILEY & SONS, LTD., 2000
- 3G TS 25.322 v3.0.0(3rd Generation Partnership Project; Technical Specification Group) Radio Access Network; RLC Protocol Specification, 1999
- TSGR2# S(99)F25, TSG-RAN Working Group 2 meeting #8, Cheju, Korea 2nd to 5th Nov. 1999
- 노철우, 남영호, 'IMT02000/비동기 방식(3GPP) 무선 프로토콜의 SDL 설계검증 및 평가에 관한 연구', 전자통신 최종 연구 보고서, 1999